user-manual: give 'git push -f' as an alternative to +master
[git/mingw.git] / contrib / git-shell-commands / 
treedd32b36b53cefc1833244c2989018caaeb814316
drwxr-xr-x   ..
-rw-r--r-- 839 README
-rwxr-xr-x 283 help
-rwxr-xr-x 227 list