Notify open source contributors when patches are reverted

[keith]

Sometimes patches pass public CI and are merged, and are then reverted because of internal issues at Google. In this case there's no notification for the original author that the patch was reverted, which means it could be lost indefinitely and not attempted to be re-merged.

Can public contributors be notified when their patches are reverted?

[alexeagle]

Note, discussing this in the rules authors SIG, has caused important commits to nearly miss a release.

We just need the Piper revert to include the github handle of the original author in the changelist description so it produces a ping when that commit gets exported to github?

[github-actions]

Thank you for contributing to the Bazel repository! This issue has been marked as stale since it has not had any activity in the last 1+ years. It will be closed in the next 14 days unless any other activity occurs or one of the following labels is added: "not stale", "awaiting-bazeler". Please reach out to the triage team (@bazelbuild/triage) if you think this issue is still relevant or you are interested in getting the issue resolved.

[brentleyjones]

Not stale