Skip to content

Commit bd574f4

Browse files
committed
Add link to Github API docs for delete endpoint
1 parent 5f7a10a commit bd574f4

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/GitHub/Endpoints/Issues/Milestones.hs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -67,6 +67,8 @@ createMilestoneR user repo =
6767
deleteMilestone :: Auth -> Name Owner -> Name Repo -> Id Milestone -> IO (Either Error ())
6868
deleteMilestone auth user repo mid = executeRequest auth $ deleteMilestoneR user repo mid
6969

70+
-- | Delete a milestone.
71+
-- See <https://developer.github.com/v3/issues/milestones/#delete-a-milestone>
7072
deleteMilestoneR :: Name Owner -> Name Repo -> Id Milestone -> Request 'RW ()
7173
deleteMilestoneR user repo mid =
7274
command Delete

0 commit comments

Comments
 (0)