Open IQAndreas opened 11 years ago
@IQAndreas you can edit an issue by changing its state to closed
: https://developer.github.com/v3/issues/#edit-an-issue. But that would mean an additional PATCH request to github. Have you considered this option already?
Alas, issues aren't as simple as having an
open
flag. Instead, there is an Events list for an issue which determines all this: http://developer.github.com/v3/issues/events/Those notices should be added as comments inside of the issue (I would also like little fancy "CLOSED", "MERGED", etc images like GitHub does now).
As far as I know, there is no way to actually close an issue from the GitHub API, so hopefully these notices should suffice.