Skip to content

Instantly share code, notes, and snippets.

@josephschmitt
Created April 8, 2022 18:15
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save josephschmitt/9cbc192af92746e4933341817e1bc76d to your computer and use it in GitHub Desktop.
Save josephschmitt/9cbc192af92746e4933341817e1bc76d to your computer and use it in GitHub Desktop.
Splits commits into chunks to push. Useful for when needing to push a ton of commits to a remote all at once.
#!/usr/bin/env bash
# Adjust the following variables as necessary
REMOTE=test-repo
BRANCH=$(git rev-parse --abbrev-ref HEAD)
BATCH_SIZE=500
# check if the branch exists on the remote
if git show-ref --quiet --verify refs/remotes/$REMOTE/$BRANCH; then
# if so, only push the commits that are not on the remote already
range=$REMOTE/$BRANCH..HEAD
else
# else push all the commits
range=HEAD
fi
# count the number of commits to push
n=$(git log --first-parent --format=format:x $range | wc -l)
# push each batch
for i in $(seq $n -$BATCH_SIZE 1); do
# get the hash of the commit to push
h=$(git log --first-parent --reverse --format=format:%H --skip $i -n1)
echo "Pushing $h..."
git push $REMOTE ${h}:refs/heads/$BRANCH --force
done
# push the final partial batch
git push $REMOTE HEAD:refs/heads/$BRANCH
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment