Minor changes to git-flush