push: fix segfault when HEAD points nowhere
[git/mingw.git] / contrib / mw-to-git / git-remote-mediawiki.txt
blob4d211f5b81ae3f96938211c4bd2e20789d38fcdb
1 Git-Mediawiki is a project which aims the creation of a gate
2 between git and mediawiki, allowing git users to push and pull
3 objects from mediawiki just as one would do with a classic git
4 repository thanks to remote-helpers.
6 For more information, visit the wiki at
7 https://github.com/Bibzball/Git-Mediawiki/wiki