docs: hacking: amend push-without-review rules

Include the 'semi-automatic' updates in the list of patches pushed
at maintainers' discretion to match current practice.

Signed-off-by: Ján Tomko <jtomko@redhat.com>
Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
Reviewed-by: Andrea Bolognani <abologna@redhat.com>

diff --git a/docs/hacking.html.in b/docs/hacking.html.in
index 661b262a116bb5f012cf6a1f10f2ac4ea7b20b6e..b743d4b86169a526d1849e75e989c0b1e7888602 100644 (file)
--- a/docs/hacking.html.in
+++ b/docs/hacking.html.in
@@ -1553,6 +1553,10 @@ int foo()
         fixes for documentation and code comments can be managed
         in the same way, but still make sure they get reviewed if non-trivial.
       </li>
+      <li>(ir)regular pulls from other repositories or automated updates, such
+        as the .gnulib submodule updates, pulling in new translations or updating
+        the container images for the CI system
+      </li>
     </ul>
   </body>
 </html>