2 ms·
Tangentially, Git's source repo ships with mw-to-git (aka git-mediawiki), a Mediawiki API client that lets you clone and edit wikis as repos, in its contrib: ht
by trynewideas 4y ago
Tangentially, Git's source repo ships with mw-to-git (aka git-mediawiki), a Mediawiki API client that lets you clone and edit wikis as repos, in its contrib: https://github.com/git/git/blob/master/contrib/mw-to-git/git-remote-mediawiki.txt https://github.com/git/git/blob/master/contrib/mw-to-git/git...
> 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.
See also https://github.com/Git-Mediawiki/Git-Mediawiki https://github.com/Git-Mediawiki/Git-Mediawiki