From 71aadcd76435d00819e994357c7443665a653a65 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A1n=20Tomko?= <jtomko@redhat.com>
Date: Fri, 18 Oct 2019 23:19:42 +0200
Subject: [PATCH] docs: hacking: amend push-without-review rules
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

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>
---
 docs/hacking.html.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/hacking.html.in b/docs/hacking.html.in
index 661b262a11..b743d4b861 100644
--- 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>
-- 
2.47.2