diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2012-08-03 10:40:23 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-08-03 09:13:28 -0700 |
commit | 9a7365cfa45637056e764f1f4759fcd34c4c1822 (patch) | |
tree | fa33080485b166fbbaa7500cb309c29f7e08c9cf /contrib | |
parent | 05a20c87abd08441c98dfcca0606bc0f8432ab26 (diff) | |
download | git-9a7365cfa45637056e764f1f4759fcd34c4c1822.tar.gz git-9a7365cfa45637056e764f1f4759fcd34c4c1822.tar.xz |
git-remote-mediawiki: replace TODO-list in comment by appropriate link
My account on Github is now used as wiki and issue tracking. This will be
more flexible than in-tree management of a TODO-list.
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/mw-to-git/git-remote-mediawiki | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/contrib/mw-to-git/git-remote-mediawiki b/contrib/mw-to-git/git-remote-mediawiki index 8647c92df..68555d426 100755 --- a/contrib/mw-to-git/git-remote-mediawiki +++ b/contrib/mw-to-git/git-remote-mediawiki @@ -9,20 +9,7 @@ # License: GPL v2 or later # Gateway between Git and MediaWiki. -# https://github.com/Bibzball/Git-Mediawiki/wiki -# -# Known limitations: -# -# - Several strategies are provided to fetch modifications from the -# wiki, but no automatic heuristics is provided, the user has -# to understand and chose which strategy is appropriate for him. -# -# - Git renames could be turned into MediaWiki renames (see TODO -# below) -# -# - No way to import "one page, and all pages included in it" -# -# - Multiple remote MediaWikis have not been very well tested. +# Documentation & bugtracker: https://github.com/moy/Git-Mediawiki/ use strict; use MediaWiki::API; |