4 ms·
looks like you can use Actions for that: https://github.com/marketplace/actions/close-pull-request https://github.com/marketplace/actions/close-pull-request
by brodock 7y ago
looks like you can use Actions for that:
https://github.com/marketplace/actions/close-pull-request https://github.com/marketplace/actions/close-pull-request
- mroche 7y agoInteresting. I haven't looked at Actions at all yet but this is nifty. Previously I had seen people write their own GitHub bots to handle this sort of thing.