mthadley · September 25, 2017 21:27
diff --git a/push.sh b/push.sh
 #!/usr/bin/env bash

 COUNT="20000"
 INTERVAL="2000"

 while [[ $COUNT -gt 0 ]]; do
  echo "Pushing ${COUNT}"
  git push origin HEAD~"$COUNT"
  COUNT=$(($COUNT - $INTERVAL))
 done
	#!/usr/bin/env bash

	COUNT="20000"
	INTERVAL="2000"

	while [[ $COUNT -gt 0 ]]; do
	echo "Pushing ${COUNT}"
	git push origin HEAD~"$COUNT"
	COUNT=$(($COUNT - $INTERVAL))
	done