REMOTE=origin

BRANCH="$1"

BATCH_SIZE=$2

git -C "$BUILD_OUT" checkout "$BRANCH"

# check if the branch exists on the remote

if git -C "$BUILD_OUT" 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 -C "$BUILD_OUT" 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 -C "$BUILD_OUT" log --first-parent --reverse --format=format:%H --skip $i -n1)

echo "Pushing $h..."

git -C "$BUILD_OUT" push $REMOTE ${h}:refs/heads/$BRANCH

done

# push the final partial batch

git -C "$BUILD_OUT" push $REMOTE HEAD:refs/heads/$BRANCH