4 # Jérémie Nikaes <jeremie.nikaes@ensimag.imag.fr>
5 # Arnaud Lacurie <arnaud.lacurie@ensimag.imag.fr>
6 # Claire Fousse <claire.fousse@ensimag.imag.fr>
7 # David Amouyal <david.amouyal@ensimag.imag.fr>
8 # Matthieu Moy <matthieu.moy@grenoble-inp.fr>
9 # License: GPL v2 or later
11 # Gateway between Git and MediaWiki.
12 # https://github.com/Bibzball/Git-Mediawiki/wiki
16 # - Only wiki pages are managed, no support for [[File:...]]
19 # - Poor performance in the best case: it takes forever to check
20 # whether we're up-to-date (on fetch or push) or to fetch a few
21 # revisions from a large wiki, because we use exclusively a
22 # page-based synchronization. We could switch to a wiki-wide
23 # synchronization when the synchronization involves few revisions
24 # but the wiki is large.
26 # - Git renames could be turned into MediaWiki renames (see TODO
29 # - login/password support requires the user to write the password
30 # cleartext in a file (see TODO below).
32 # - No way to import "one page, and all pages included in it"
34 # - Multiple remote MediaWikis have not been very well tested.
38 use DateTime::Format::ISO8601;
41 # use encoding 'utf8' doesn't change STDERROR
42 # but we're going to output UTF-8 filenames to STDERR
43 binmode STDERR, ":utf8";
48 # Mediawiki filenames can contain forward slashes. This variable decides by which pattern they should be replaced
49 use constant SLASH_REPLACEMENT => "%2F";
51 # It's not always possible to delete pages (may require some
52 # priviledges). Deleted pages are replaced with this content.
53 use constant DELETED_CONTENT => "[[Category:Deleted]]\n";
55 # It's not possible to create empty pages. New empty files in Git are
56 # sent with this content instead.
57 use constant EMPTY_CONTENT => "<!-- empty page -->\n";
59 # used to reflect file creation or deletion in diff.
60 use constant NULL_SHA1 => "0000000000000000000000000000000000000000";
62 my $remotename = $ARGV[0];
65 # Accept both space-separated and multiple keys in config file.
66 # Spaces should be written as _ anyway because we'll use chomp.
67 my @tracked_pages = split(/[ \n]/, run_git("config --get-all remote.". $remotename .".pages"));
68 chomp(@tracked_pages);
70 # Just like @tracked_pages, but for MediaWiki categories.
71 my @tracked_categories = split(/[ \n]/, run_git("config --get-all remote.". $remotename .".categories"));
72 chomp(@tracked_categories);
74 my $wiki_login = run_git("config --get remote.". $remotename .".mwLogin");
75 # TODO: ideally, this should be able to read from keyboard, but we're
76 # inside a remote helper, so our stdin is connect to git, not to a
78 my $wiki_passwd = run_git("config --get remote.". $remotename .".mwPassword");
82 # Import only last revisions (both for clone and fetch)
83 my $shallow_import = run_git("config --get --bool remote.". $remotename .".shallow");
84 chomp($shallow_import);
85 $shallow_import = ($shallow_import eq "true");
87 # Dumb push: don't update notes and mediawiki ref to reflect the last push.
89 # Configurable with mediawiki.dumbPush, or per-remote with
90 # remote.<remotename>.dumbPush.
92 # This means the user will have to re-import the just-pushed
93 # revisions. On the other hand, this means that the Git revisions
94 # corresponding to MediaWiki revisions are all imported from the wiki,
95 # regardless of whether they were initially created in Git or from the
96 # web interface, hence all users will get the same history (i.e. if
97 # the push from Git to MediaWiki loses some information, everybody
98 # will get the history with information lost). If the import is
99 # deterministic, this means everybody gets the same sha1 for each
100 # MediaWiki revision.
101 my $dumb_push = run_git("config --get --bool remote.$remotename.dumbPush");
102 unless ($dumb_push) {
103 $dumb_push = run_git("config --get --bool mediawiki.dumbPush");
106 $dumb_push = ($dumb_push eq "true");
108 my $wiki_name = $url;
109 $wiki_name =~ s/[^\/]*:\/\///;
117 if (defined($cmd[0])) {
119 if ($cmd[0] eq "capabilities") {
120 die("Too many arguments for capabilities") unless (!defined($cmd[1]));
122 } elsif ($cmd[0] eq "list") {
123 die("Too many arguments for list") unless (!defined($cmd[2]));
125 } elsif ($cmd[0] eq "import") {
126 die("Invalid arguments for import") unless ($cmd[1] ne "" && !defined($cmd[2]));
128 } elsif ($cmd[0] eq "option") {
129 die("Too many arguments for option") unless ($cmd[1] ne "" && $cmd[2] ne "" && !defined($cmd[3]));
130 mw_option($cmd[1],$cmd[2]);
131 } elsif ($cmd[0] eq "push") {
134 print STDERR "Unknown command. Aborting...\n";
138 # blank line: we should terminate
142 BEGIN { $| = 1 } # flush STDOUT, to make sure the previous
143 # command is fully processed.
146 ########################## Functions ##############################
148 # MediaWiki API instance, created lazily.
151 sub mw_connect_maybe {
155 $mediawiki = MediaWiki::API->new;
156 $mediawiki->{config}->{api_url} = "$url/api.php";
158 if (!$mediawiki->login({
159 lgname => $wiki_login,
160 lgpassword => $wiki_passwd,
162 print STDERR "Failed to log in mediawiki user \"$wiki_login\" on $url\n";
163 print STDERR "(error " .
164 $mediawiki->{error}->{code} . ': ' .
165 $mediawiki->{error}->{details} . ")\n";
168 print STDERR "Logged in with user \"$wiki_login\".\n";
173 sub get_mw_first_pages {
174 my $some_pages = shift;
175 my @some_pages = @{$some_pages};
179 # pattern 'page1|page2|...' required by the API
180 my $titles = join('|', @some_pages);
182 my $mw_pages = $mediawiki->api({
186 if (!defined($mw_pages)) {
187 print STDERR "fatal: could not query the list of wiki pages.\n";
188 print STDERR "fatal: '$url' does not appear to be a mediawiki\n";
189 print STDERR "fatal: make sure '$url/api.php' is a valid page.\n";
192 while (my ($id, $page) = each(%{$mw_pages->{query}->{pages}})) {
194 print STDERR "Warning: page $page->{title} not found on wiki\n";
196 $pages->{$page->{title}} = $page;
204 my %pages; # hash on page titles to avoid duplicates
206 if (@tracked_pages) {
208 # The user provided a list of pages titles, but we
209 # still need to query the API to get the page IDs.
211 my @some_pages = @tracked_pages;
212 while (@some_pages) {
214 if ($#some_pages < $last) {
215 $last = $#some_pages;
217 my @slice = @some_pages[0..$last];
218 get_mw_first_pages(\@slice, \%pages);
219 @some_pages = @some_pages[51..$#some_pages];
222 if (@tracked_categories) {
224 foreach my $category (@tracked_categories) {
225 if (index($category, ':') < 0) {
226 # Mediawiki requires the Category
227 # prefix, but let's not force the user
229 $category = "Category:" . $category;
231 my $mw_pages = $mediawiki->list( {
233 list => 'categorymembers',
234 cmtitle => $category,
236 || die $mediawiki->{error}->{code} . ': ' . $mediawiki->{error}->{details};
237 foreach my $page (@{$mw_pages}) {
238 $pages{$page->{title}} = $page;
242 if (!$user_defined) {
243 # No user-provided list, get the list of pages from
245 my $mw_pages = $mediawiki->list({
250 if (!defined($mw_pages)) {
251 print STDERR "fatal: could not get the list of wiki pages.\n";
252 print STDERR "fatal: '$url' does not appear to be a mediawiki\n";
253 print STDERR "fatal: make sure '$url/api.php' is a valid page.\n";
256 foreach my $page (@{$mw_pages}) {
257 $pages{$page->{title}} = $page;
260 return values(%pages);
264 open(my $git, "-|:encoding(UTF-8)", "git " . $_[0]);
265 my $res = do { local $/; <$git> };
272 sub get_last_local_revision {
273 # Get note regarding last mediawiki revision
274 my $note = run_git("notes --ref=$remotename/mediawiki show refs/mediawiki/$remotename/master 2>/dev/null");
275 my @note_info = split(/ /, $note);
277 my $lastrevision_number;
278 if (!(defined($note_info[0]) && $note_info[0] eq "mediawiki_revision:")) {
279 print STDERR "No previous mediawiki revision found";
280 $lastrevision_number = 0;
282 # Notes are formatted : mediawiki_revision: #number
283 $lastrevision_number = $note_info[1];
284 chomp($lastrevision_number);
285 print STDERR "Last local mediawiki revision found is $lastrevision_number";
287 return $lastrevision_number;
290 # Remember the timestamp corresponding to a revision id.
293 sub get_last_remote_revision {
296 my @pages = get_mw_pages();
300 foreach my $page (@pages) {
301 my $id = $page->{pageid};
306 rvprop => 'ids|timestamp',
310 my $result = $mediawiki->api($query);
312 my $lastrev = pop(@{$result->{query}->{pages}->{$id}->{revisions}});
314 $basetimestamps{$lastrev->{revid}} = $lastrev->{timestamp};
316 $max_rev_num = ($lastrev->{revid} > $max_rev_num ? $lastrev->{revid} : $max_rev_num);
319 print STDERR "Last remote revision found is $max_rev_num.\n";
323 # Clean content before sending it to MediaWiki
324 sub mediawiki_clean {
326 my $page_created = shift;
327 # Mediawiki does not allow blank space at the end of a page and ends with a single \n.
328 # This function right trims a string and adds a \n at the end to follow this rule
330 if ($string eq "" && $page_created) {
331 # Creating empty pages is forbidden.
332 $string = EMPTY_CONTENT;
337 # Filter applied on MediaWiki data before adding them to Git
338 sub mediawiki_smudge {
340 if ($string eq EMPTY_CONTENT) {
343 # This \n is important. This is due to mediawiki's way to handle end of files.
347 sub mediawiki_clean_filename {
348 my $filename = shift;
349 $filename =~ s/@{[SLASH_REPLACEMENT]}/\//g;
350 # [, ], |, {, and } are forbidden by MediaWiki, even URL-encoded.
351 # Do a variant of URL-encoding, i.e. looks like URL-encoding,
352 # but with _ added to prevent MediaWiki from thinking this is
353 # an actual special character.
354 $filename =~ s/[\[\]\{\}\|]/sprintf("_%%_%x", ord($&))/ge;
355 # If we use the uri escape before
356 # we should unescape here, before anything
361 sub mediawiki_smudge_filename {
362 my $filename = shift;
363 $filename =~ s/\//@{[SLASH_REPLACEMENT]}/g;
364 $filename =~ s/ /_/g;
365 # Decode forbidden characters encoded in mediawiki_clean_filename
366 $filename =~ s/_%_([0-9a-fA-F][0-9a-fA-F])/sprintf("%c", hex($1))/ge;
372 print STDOUT "data ", bytes::length($content), "\n", $content;
375 sub mw_capabilities {
376 # Revisions are imported to the private namespace
377 # refs/mediawiki/$remotename/ by the helper and fetched into
378 # refs/remotes/$remotename later by fetch.
379 print STDOUT "refspec refs/heads/*:refs/mediawiki/$remotename/*\n";
380 print STDOUT "import\n";
381 print STDOUT "list\n";
382 print STDOUT "push\n";
387 # MediaWiki do not have branches, we consider one branch arbitrarily
388 # called master, and HEAD pointing to it.
389 print STDOUT "? refs/heads/master\n";
390 print STDOUT "\@refs/heads/master HEAD\n";
395 print STDERR "remote-helper command 'option $_[0]' not yet implemented\n";
396 print STDOUT "unsupported\n";
399 sub fetch_mw_revisions_for_page {
402 my $fetch_from = shift;
409 rvstartid => $fetch_from,
415 # Get 500 revisions at a time due to the mediawiki api limit
417 my $result = $mediawiki->api($query);
419 # Parse each of those 500 revisions
420 foreach my $revision (@{$result->{query}->{pages}->{$id}->{revisions}}) {
422 $page_rev_ids->{pageid} = $page->{pageid};
423 $page_rev_ids->{revid} = $revision->{revid};
424 push(@page_revs, $page_rev_ids);
427 last unless $result->{'query-continue'};
428 $query->{rvstartid} = $result->{'query-continue'}->{revisions}->{rvstartid};
430 if ($shallow_import && @page_revs) {
431 print STDERR " Found 1 revision (shallow import).\n";
432 @page_revs = sort {$b->{revid} <=> $a->{revid}} (@page_revs);
433 return $page_revs[0];
435 print STDERR " Found ", $revnum, " revision(s).\n";
439 sub fetch_mw_revisions {
440 my $pages = shift; my @pages = @{$pages};
441 my $fetch_from = shift;
445 foreach my $page (@pages) {
446 my $id = $page->{pageid};
448 print STDERR "page $n/", scalar(@pages), ": ". $page->{title} ."\n";
450 my @page_revs = fetch_mw_revisions_for_page($page, $id, $fetch_from);
451 @revisions = (@page_revs, @revisions);
454 return ($n, @revisions);
457 sub import_file_revision {
459 my %commit = %{$commit};
460 my $full_import = shift;
463 my $title = $commit{title};
464 my $comment = $commit{comment};
465 my $content = $commit{content};
466 my $author = $commit{author};
467 my $date = $commit{date};
469 print STDOUT "commit refs/mediawiki/$remotename/master\n";
470 print STDOUT "mark :$n\n";
471 print STDOUT "committer $author <$author\@$wiki_name> ", $date->epoch, " +0000\n";
472 literal_data($comment);
474 # If it's not a clone, we need to know where to start from
475 if (!$full_import && $n == 1) {
476 print STDOUT "from refs/mediawiki/$remotename/master^0\n";
478 if ($content ne DELETED_CONTENT) {
479 print STDOUT "M 644 inline $title.mw\n";
480 literal_data($content);
483 print STDOUT "D $title.mw\n";
486 # mediawiki revision number in the git note
487 if ($full_import && $n == 1) {
488 print STDOUT "reset refs/notes/$remotename/mediawiki\n";
490 print STDOUT "commit refs/notes/$remotename/mediawiki\n";
491 print STDOUT "committer $author <$author\@$wiki_name> ", $date->epoch, " +0000\n";
492 literal_data("Note added by git-mediawiki during import");
493 if (!$full_import && $n == 1) {
494 print STDOUT "from refs/notes/$remotename/mediawiki^0\n";
496 print STDOUT "N inline :$n\n";
497 literal_data("mediawiki_revision: " . $commit{mw_revision});
501 # parse a sequence of
505 # (like batch sequence of import and sequence of push statements)
511 if ($line =~ m/^$cmd (.*)$/) {
513 } elsif ($line eq "\n") {
516 die("Invalid command in a '$cmd' batch: ". $_);
522 # multiple import commands can follow each other.
523 my @refs = (shift, get_more_refs("import"));
524 foreach my $ref (@refs) {
527 print STDOUT "done\n";
532 # The remote helper will call "import HEAD" and
533 # "import refs/heads/master".
534 # Since HEAD is a symbolic ref to master (by convention,
535 # followed by the output of the command "list" that we gave),
536 # we don't need to do anything in this case.
537 if ($ref eq "HEAD") {
543 my @pages = get_mw_pages();
545 print STDERR "Searching revisions...\n";
546 my $last_local = get_last_local_revision();
547 my $fetch_from = $last_local + 1;
548 if ($fetch_from == 1) {
549 print STDERR ", fetching from beginning.\n";
551 print STDERR ", fetching from here.\n";
553 my ($n, @revisions) = fetch_mw_revisions(\@pages, $fetch_from);
555 # Creation of the fast-import stream
556 print STDERR "Fetching & writing export data...\n";
559 my $last_timestamp = 0; # Placeholer in case $rev->timestamp is undefined
561 foreach my $pagerevid (sort {$a->{revid} <=> $b->{revid}} @revisions) {
562 # fetch the content of the pages
566 rvprop => 'content|timestamp|comment|user|ids',
567 revids => $pagerevid->{revid},
570 my $result = $mediawiki->api($query);
572 my $rev = pop(@{$result->{query}->{pages}->{$pagerevid->{pageid}}->{revisions}});
577 $commit{author} = $rev->{user} || 'Anonymous';
578 $commit{comment} = $rev->{comment} || '*Empty MediaWiki Message*';
579 $commit{title} = mediawiki_smudge_filename(
580 $result->{query}->{pages}->{$pagerevid->{pageid}}->{title}
582 $commit{mw_revision} = $pagerevid->{revid};
583 $commit{content} = mediawiki_smudge($rev->{'*'});
585 if (!defined($rev->{timestamp})) {
588 $last_timestamp = $rev->{timestamp};
590 $commit{date} = DateTime::Format::ISO8601->parse_datetime($last_timestamp);
592 print STDERR "$n/", scalar(@revisions), ": Revision #$pagerevid->{revid} of $commit{title}\n";
594 import_file_revision(\%commit, ($fetch_from == 1), $n);
597 if ($fetch_from == 1 && $n == 0) {
598 print STDERR "You appear to have cloned an empty MediaWiki.\n";
599 # Something has to be done remote-helper side. If nothing is done, an error is
600 # thrown saying that HEAD is refering to unknown object 0000000000000000000
601 # and the clone fails.
605 sub error_non_fast_forward {
606 my $advice = run_git("config --bool advice.pushNonFastForward");
608 if ($advice ne "false") {
609 # Native git-push would show this after the summary.
610 # We can't ask it to display it cleanly, so print it
612 print STDERR "To prevent you from losing history, non-fast-forward updates were rejected\n";
613 print STDERR "Merge the remote changes (e.g. 'git pull') before pushing again. See the\n";
614 print STDERR "'Note about fast-forwards' section of 'git push --help' for details.\n";
616 print STDOUT "error $_[0] \"non-fast-forward\"\n";
621 my $diff_info = shift;
622 # $diff_info contains a string in this format:
623 # 100644 100644 <sha1_of_blob_before_commit> <sha1_of_blob_now> <status>
624 my @diff_info_split = split(/[ \t]/, $diff_info);
626 # Filename, including .mw extension
627 my $complete_file_name = shift;
630 # MediaWiki revision number. Keep the previous one by default,
631 # in case there's no edit to perform.
632 my $newrevid = shift;
634 my $new_sha1 = $diff_info_split[3];
635 my $old_sha1 = $diff_info_split[2];
636 my $page_created = ($old_sha1 eq NULL_SHA1);
637 my $page_deleted = ($new_sha1 eq NULL_SHA1);
638 $complete_file_name = mediawiki_clean_filename($complete_file_name);
640 if (substr($complete_file_name,-3) eq ".mw") {
641 my $title = substr($complete_file_name,0,-3);
645 # Deleting a page usually requires
646 # special priviledges. A common
647 # convention is to replace the page
648 # with this content instead:
649 $file_content = DELETED_CONTENT;
651 $file_content = run_git("cat-file blob $new_sha1");
656 my $result = $mediawiki->edit( {
660 basetimestamp => $basetimestamps{$newrevid},
661 text => mediawiki_clean($file_content, $page_created),
663 skip_encoding => 1 # Helps with names with accentuated characters
666 if ($mediawiki->{error}->{code} == 3) {
667 # edit conflicts, considered as non-fast-forward
668 print STDERR 'Warning: Error ' .
669 $mediawiki->{error}->{code} .
670 ' from mediwiki: ' . $mediawiki->{error}->{details} .
672 return ($newrevid, "non-fast-forward");
674 # Other errors. Shouldn't happen => just die()
675 die 'Fatal: Error ' .
676 $mediawiki->{error}->{code} .
677 ' from mediwiki: ' . $mediawiki->{error}->{details};
680 $newrevid = $result->{edit}->{newrevid};
681 print STDERR "Pushed file: $new_sha1 - $title\n";
683 print STDERR "$complete_file_name not a mediawiki file (Not pushable on this version of git-remote-mediawiki).\n"
685 return ($newrevid, "ok");
689 # multiple push statements can follow each other
690 my @refsspecs = (shift, get_more_refs("push"));
692 for my $refspec (@refsspecs) {
693 my ($force, $local, $remote) = $refspec =~ /^(\+)?([^:]*):([^:]*)$/
694 or die("Invalid refspec for push. Expected <src>:<dst> or +<src>:<dst>");
696 print STDERR "Warning: forced push not allowed on a MediaWiki.\n";
699 print STDERR "Cannot delete remote branch on a MediaWiki\n";
700 print STDOUT "error $remote cannot delete\n";
703 if ($remote ne "refs/heads/master") {
704 print STDERR "Only push to the branch 'master' is supported on a MediaWiki\n";
705 print STDOUT "error $remote only master allowed\n";
708 if (mw_push_revision($local, $remote)) {
713 # Notify Git that the push is done
716 if ($pushed && $dumb_push) {
717 print STDERR "Just pushed some revisions to MediaWiki.\n";
718 print STDERR "The pushed revisions now have to be re-imported, and your current branch\n";
719 print STDERR "needs to be updated with these re-imported commits. You can do this with\n";
721 print STDERR " git pull --rebase\n";
726 sub mw_push_revision {
728 my $remote = shift; # actually, this has to be "refs/heads/master" at this point.
729 my $last_local_revid = get_last_local_revision();
730 print STDERR ".\n"; # Finish sentence started by get_last_local_revision()
731 my $last_remote_revid = get_last_remote_revision();
732 my $mw_revision = $last_remote_revid;
734 # Get sha1 of commit pointed by local HEAD
735 my $HEAD_sha1 = run_git("rev-parse $local 2>/dev/null"); chomp($HEAD_sha1);
736 # Get sha1 of commit pointed by remotes/$remotename/master
737 my $remoteorigin_sha1 = run_git("rev-parse refs/remotes/$remotename/master 2>/dev/null");
738 chomp($remoteorigin_sha1);
740 if ($last_local_revid > 0 &&
741 $last_local_revid < $last_remote_revid) {
742 return error_non_fast_forward($remote);
745 if ($HEAD_sha1 eq $remoteorigin_sha1) {
750 # Get every commit in between HEAD and refs/remotes/origin/master,
751 # including HEAD and refs/remotes/origin/master
752 my @commit_pairs = ();
753 if ($last_local_revid > 0) {
754 my $parsed_sha1 = $remoteorigin_sha1;
755 # Find a path from last MediaWiki commit to pushed commit
756 while ($parsed_sha1 ne $HEAD_sha1) {
757 my @commit_info = grep(/^$parsed_sha1/, split(/\n/, run_git("rev-list --children $local")));
759 return error_non_fast_forward($remote);
761 my @commit_info_split = split(/ |\n/, $commit_info[0]);
762 # $commit_info_split[1] is the sha1 of the commit to export
763 # $commit_info_split[0] is the sha1 of its direct child
764 push(@commit_pairs, \@commit_info_split);
765 $parsed_sha1 = $commit_info_split[1];
768 # No remote mediawiki revision. Export the whole
769 # history (linearized with --first-parent)
770 print STDERR "Warning: no common ancestor, pushing complete history\n";
771 my $history = run_git("rev-list --first-parent --children $local");
772 my @history = split('\n', $history);
773 @history = @history[1..$#history];
774 foreach my $line (reverse @history) {
775 my @commit_info_split = split(/ |\n/, $line);
776 push(@commit_pairs, \@commit_info_split);
780 foreach my $commit_info_split (@commit_pairs) {
781 my $sha1_child = @{$commit_info_split}[0];
782 my $sha1_commit = @{$commit_info_split}[1];
783 my $diff_infos = run_git("diff-tree -r --raw -z $sha1_child $sha1_commit");
784 # TODO: we could detect rename, and encode them with a #redirect on the wiki.
785 # TODO: for now, it's just a delete+add
786 my @diff_info_list = split(/\0/, $diff_infos);
787 # Keep the first line of the commit message as mediawiki comment for the revision
788 my $commit_msg = (split(/\n/, run_git("show --pretty=format:\"%s\" $sha1_commit")))[0];
791 while (@diff_info_list) {
793 # git diff-tree -z gives an output like
794 # <metadata>\0<filename1>\0
795 # <metadata>\0<filename2>\0
796 # and we've split on \0.
797 my $info = shift(@diff_info_list);
798 my $file = shift(@diff_info_list);
799 ($mw_revision, $status) = mw_push_file($info, $file, $commit_msg, $mw_revision);
800 if ($status eq "non-fast-forward") {
801 # we may already have sent part of the
802 # commit to MediaWiki, but it's too
803 # late to cancel it. Stop the push in
804 # the middle, but still give an
805 # accurate error message.
806 return error_non_fast_forward($remote);
808 if ($status ne "ok") {
809 die("Unknown error from mw_push_file()");
812 unless ($dumb_push) {
813 run_git("notes --ref=$remotename/mediawiki add -m \"mediawiki_revision: $mw_revision\" $sha1_commit");
814 run_git("update-ref -m \"Git-MediaWiki push\" refs/mediawiki/$remotename/master $sha1_commit $sha1_child");
818 print STDOUT "ok $remote\n";