git rebase script: wait 10 minutes between builds

mgeier · mgeier · commit 87d9e2a581c6 · 2023-09-03T13:22:26.000+02:00
diff --git a/git_rebase_theme_branches.sh b/git_rebase_theme_branches.sh
@@ -6,6 +6,8 @@ fmt='
 git checkout %(refname)
 git rebase master
 git push origin HEAD:%(refname:strip=3) --force
+echo "giving RTD some time to build the docs"
+sleep 10m
 '
 
 eval "$(git for-each-ref --shell --format="$fmt" refs/remotes/origin/*-theme)"

Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,8 @@ fmt='`
`6`	`6`	`git checkout %(refname)`
`7`	`7`	`git rebase master`
`8`	`8`	`git push origin HEAD:%(refname:strip=3) --force`
	`9`	`+echo "giving RTD some time to build the docs"`
	`10`	`+sleep 10m`
`9`	`11`	`'`
`10`	`12`
`11`	`13`	`eval "$(git for-each-ref --shell --format="$fmt" refs/remotes/origin/*-theme)"`