Merge branch 'tl/push-branches-is-an-alias-for-all'

"git push --all" gained an alias "git push --branches". * tl/push-branches-is-an-alias-for-all: t5583: fix shebang line push: introduce '--branches' option