add push-pending-fixes and notify when the branch is updated

diff --git a/do_merge b/do_merge
index 2e3cf9ce7072970e1e49323d69a00ea0ddd780b3..b0caba0b42a7043e6f0fb9dae340f0530f3e7ad1 100755 (executable)
--- a/do_merge
+++ b/do_merge
@@ -74,6 +74,7 @@ for h in $heads; do
 
        if [ "$tree" = "branch" ]; then
                git branch -f "${h#branch/}"
+               linux-next-notify "update branch $1"
                continue
        fi
 

diff --git a/push-pending-fixes b/push-pending-fixes
new file mode 100755 (executable)
index 0000000..9ed5ab9
--- /dev/null
+++ b/push-pending-fixes
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+read -r -p "Yubikey token: " tok
+# shellcheck disable=SC2029
+ssh git@gitolite.kernel.org 2fa val-session "$tok"
+
+git push -f korg refs/heads/pending-fixes:refs/heads/pending-fixes
+
+ssh -O exit git@gitolite.kernel.org
+
+exit 0