If we see these, the merged field is true, and we can retrieve the associated issue from the branch - we assume that a JACoB-authored PR for this issue has been merged, so we call emitTaskEvent() with TaskStatus.CLOSED to indicate that the PR was merged
Resolves #58
Description
TaskStatus.CLOSED
pull_request.closed
events to the queueprClosed
variablemerged
field istrue
, and we can retrieve the associated issue from the branch - we assume that a JACoB-authored PR for this issue has been merged, so we callemitTaskEvent()
withTaskStatus.CLOSED
to indicate that the PR was merged