feat: comment when auto merge/hardreset fails

wei / pull

🤖 Keep your forks up-to-date via automated PRs

https://github.com/apps/pull

MIT License

6.32k stars 666 forks source link

Open wei opened 4 years ago

wei commented 4 years ago

Currently GitHub returns an error when Pull tries to merge into a protected branch. The PR will just stay open ready to be manually merged.

An improvement will be commenting on the PR when this happens.

wei commented 4 years ago

One reason PRs fail to be merged automatically is due to changes in .github/workflows files (GitHub Apps do not have write access to it)

jefferycline1 commented 2 years ago

😀