teor f43a7a4d96 scripts/git: Avoid sleeping before the last push in git-push-all.sh ...

Change the loop order, so that we only sleep between pushes,
and avoid sleeping after all the pushes are done.

(In rare cases, there may still be an extra sleep.)

Part of 32216.

2019-10-23 13:28:37 +10:00

..

git-merge-forward.sh

scripts: Fix a git script comment

2019-10-15 13:58:53 +10:00

git-pull-all.sh

git scripts: add maint/release-0.4.2.

2019-10-11 17:26:34 -04:00

git-push-all.sh

scripts/git: Avoid sleeping before the last push in git-push-all.sh

2019-10-23 13:28:37 +10:00

git-setup-dirs.sh

scripts: Add git-setup-dirs.sh, which sets up maintainer git repos

2019-10-17 14:47:48 +10:00

post-merge.git-hook

Early exit from post-merge git hook script when not merging to master

2019-07-02 20:06:23 +03:00

pre-commit.git-hook

shellcheck: Add shellcheck to the pre-commit hook

2019-09-05 11:15:26 +10:00

pre-push.git-hook

scripts/git: Remove a duplicate practracker call from the pre-push hook

2019-08-20 12:21:02 +10:00