mediawiki/tools/mwdumper: main (log #309956)


This run took 2 seconds.

$ date
Fri Jun  4 11:57:19 UTC 2021

$ git clone file:///srv/git/mediawiki-tools-mwdumper.git repo --depth=1 -b master
Cloning into 'repo'...

$ git config libraryupgrader

$ git config

$ git submodule update --init

$ grr init
Installed commit-msg hook.

$ git show-ref refs/heads/master
02bced0c0276e5b97894622a725729a191401c39 refs/heads/master

$ git add .

$ git commit -F /tmp/tmpgpsj_dg0
On branch master
Your branch is up to date with 'origin/master'.

nothing to commit, working tree clean
Source code is licensed under the AGPL.