Skip to content

Commit 717951f

Browse files
authored
Fix use of wrong function to update issue milestone. (#366)
Fix #365.
2 parents 8158331 + 8afa75f commit 717951f

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

bot-components/github/GitHub_automation.ml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -168,14 +168,14 @@ let reflect_pull_request_milestone ~bot_info pr_closer_info =
168168
match pr_closer_info.milestone_id with
169169
| None ->
170170
(* No previous milestone: setting the one of the PR which closed the issue *)
171-
GitHub_mutations.update_milestone_pull_request ~bot_info
172-
~pr_id:pr_closer_info.issue_id ~milestone
171+
GitHub_mutations.update_milestone_issue ~bot_info
172+
~issue:pr_closer_info.issue_id ~milestone
173173
| Some previous_milestone when GitHub_ID.equal previous_milestone milestone
174174
->
175175
Lwt_io.print "Issue is already in the right milestone: doing nothing.\n"
176176
| Some _ ->
177-
GitHub_mutations.update_milestone_pull_request ~bot_info
178-
~pr_id:pr_closer_info.issue_id ~milestone
177+
GitHub_mutations.update_milestone_issue ~bot_info
178+
~issue:pr_closer_info.issue_id ~milestone
179179
<&> ( GitHub_mutations.post_comment ~bot_info ~id:pr_closer_info.issue_id
180180
~message:
181181
"The milestone of this issue was changed to reflect the one \

0 commit comments

Comments
 (0)