From d6202d3128db259c1051eeef3e304459bcee8b53 Mon Sep 17 00:00:00 2001 From: teor Date: Thu, 8 Aug 2019 12:33:42 +1000 Subject: scripts/git: add TOR_PUSH_DELAY to git-push-all.sh Add a TOR_PUSH_DELAY variable to git-push-all.sh, which makes the script push master and maint branches with a delay between each branch. These delays trigger the CI jobs in a set order, which should show the most likely failures first. Also: * make pushes atomic by default, and * make the script pass any command-line arguments to git push. Closes ticket 29879. --- changes/ticket29879 | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 changes/ticket29879 (limited to 'changes') diff --git a/changes/ticket29879 b/changes/ticket29879 new file mode 100644 index 0000000000..c37bdd3f62 --- /dev/null +++ b/changes/ticket29879 @@ -0,0 +1,7 @@ + o Minor features (git scripts): + - Add a TOR_PUSH_DELAY variable to git-push-all.sh, which makes the script + push master and maint branches with a delay between each branch. These + delays trigger the CI jobs in a set order, which should show the most + likely failures first. Also make pushes atomic by default, and make + the script pass any command-line arguments to git push. + Closes ticket 29879. -- cgit v1.2.3-54-g00ecf