contrib / mw-to-git / .gitignoreon commit Merge branch 'mm/push-force-is-dangerous' (14c6ee9)
   1git-remote-mediawiki