On 6/24/2012 12:42 PM, Platonides wrote:
If there are also edits at MediaWiki side, then
you'd also need an
extension which hooks mediawiki to convert edits to git commits.
This is also a problem I need to deal with (read: have yet to deal with)
in mediawikiki.el. Right now, it doesn't handle conflict resolution or
session timeouts. It does the job for quick edits on pages that aren't
the focus of a lot of attention right now, but it needs more work.
However, you could replace git with a command line
tool which performed
edits. No need to do so through a git transport.
Agreed. Maybe a CLI is what Tom was looking for?
Mark.