fi
# Merge with remote master if the repository was just created, otherwise
- # the repository starts empty.
+ # the repository starts empty. Also run gc to compress the new repository.
if [ $new = yes ]; then
git merge "$2/master"
+ git gc > /dev/null
fi
# Go back to the starting directory.