ls-files -k: a directory only can be killed if the index has a non-directory

[git] / contrib / mw-to-git / git-remote-mediawiki.txt

Git-Mediawiki is a project which aims the creation of a gate
between git and mediawiki, allowing git users to push and pull
objects from mediawiki just as one would do with a classic git
repository thanks to remote-helpers.

For more information, visit the wiki at
https://github.com/moy/Git-Mediawiki/wiki