]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'mm/mediawiki-as-a-remote'
authorJunio C Hamano <gitster@pobox.com>
Wed, 5 Oct 2011 19:36:27 +0000 (12:36 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 5 Oct 2011 19:36:27 +0000 (12:36 -0700)
* mm/mediawiki-as-a-remote:
  git-remote-mediawiki: allow a domain to be set for authentication
  git-remote-mediawiki: obey advice.pushNonFastForward
  git-remote-mediawiki: set 'basetimestamp' to let the wiki handle conflicts
  git-remote-mediawiki: trivial fixes
  git-remote-mediawiki: allow push to set MediaWiki metadata
  Add a remote helper to interact with mediawiki (fetch & push)


Trivial merge