Convert from a mediawiki installation using mysql to a git repository of markdown pages