docs/CONTRIBUTING: ask people to send a ping on stalled reviews
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 10 Jun 2022 12:08:40 +0000 (14:08 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 10 Jun 2022 13:04:23 +0000 (15:04 +0200)
commitd331f48482634e2d36641203cb5a808758d72d68
treed8b5ee75c9704feb3a62b2e517e4dae1c3ffee6e
parentf23b2a04e67f3325a066a8ab5ae352f534b3bb2b
docs/CONTRIBUTING: ask people to send a ping on stalled reviews

A few related changes: be explicit that 'main' is the branch we're referring
to. There was a case recently of somebody rebasing on 'master' by mistake.
It's better to be explicit, since 'main' is still not the default for git
(AFAIK).

Also, github seems to send mails about force-pushes, so drop that as a
justification. Commenting about changes that were done is useful even if
github were to send a notification.

And finally, $subject. We do that ourselves, but outside contributors might not
know that that's expected.
docs/CONTRIBUTING.md