3 ms·
You can do this on SourceHut, just make a git.sr.ht repo and don't make anything else (ticket tracking, mailing lists, etc, are opt-in). On GitHub you can disa
by ddevault 7y ago
You can do this on SourceHut, just make a git.sr.ht repo and don't make anything else (ticket tracking, mailing lists, etc, are opt-in).
On GitHub you can disable issues but not pull requests.
- tejtm 7y agoI have never tried but perhaps someone could come up with a useless_machine[0] type of webhook[1] such that a pull request would do nothing but close itself [0] https://en.wikipedia.org/wiki/Useless_machine https://en.wikipedia.org/wiki/Useless_machine [1] https://developer.github.com/v3/activity/events/types/#pullrequestevent https://developer.github.com/v3/activity/events/types/#pullr...