feat: comment when auto merge/hardreset fails

[wei]

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]

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]

😀

[joshiayush]

@wei Assign it to me.

[ddelange]

hi @wei 👋

are there other scenarios in which a pull doesn't auto-merge? i do not have branch protection enabled and this PR from yesterday (first one since I added pull.yml) is still open 🤔

[ddelange]

oh and now (9hrs after opening) the PR merges. maybe I spoke too soon. is that a normal time frame?

[wei]

Hiiii @ddelange thanks for using Pull. Due to the large amount of repos using pull and the unpredictability timeframe for GitHub to mark a PR as mergeable, this timeframe is not abnormal. This issue we are on is for a new feature unrelated to your inquiry. Please open a new issue or comment on a more relevant issue if you have further questions!