CONTRIBUTING: ask people to comment after after force-push

diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md
index 18ae1d0aeceb247b9a4f9ba529639ac4b92ddbda..4857e947339637f8b434478e756bd42f8578b4b7 100644 (file)
--- a/.github/CONTRIBUTING.md
+++ b/.github/CONTRIBUTING.md
@@ -17,6 +17,7 @@ Following these guidelines makes it easier for us to process your issue, and ens
 * Follow our [Coding Style](https://raw.githubusercontent.com/systemd/systemd/master/CODING_STYLE) when contributing code. This is a requirement for all code we merge.
 * Make sure to run "make check" locally, before posting your PR. We use a CI system, meaning we don't even look at your PR, if the build and tests don't pass.
 * If you need to update the code in an existing PR, force-push into the same branch, overriding old commits with new versions.
+* After you have pushed a new version, try to remove the `reviewed/needs-rework` label. Also add a comment about the new version (no notification is sent just for the commits, so it's easy to miss the update without an explicit comment).
 
 ## Final Words