Git completion as a shell extension - copied from https://raw.githubusercontent.com/git/git/master/contrib/completion/git-completion.bash