feat: comment when auto merge/hardreset fails
Author: weiCreated Aug 22, 2020Updated Nov 19, 2024
Labelsenhancement
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.
Source: wei/pull