Cherry Picking bin/.gitignore from Isabelle
Switching to git push —-upstream