Merge branch 'am/maint-push-doc' into maint

* am/maint-push-doc: Documentation: rework src/dst description in git push Documentation: more git push examples Documentation: simplify refspec format description