mediawiki/extensions/WebDAVMinorSave (main)

$ date
Mon Jan 24 18:03:53 UTC 2022

$ git clone file:///srv/git/mediawiki-extensions-WebDAVMinorSave.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
162e4827c1b6227aaea7c61db015f2b2138efb9a refs/heads/master

$ git add .

$ git commit -F /tmp/tmp1kjaqpk5
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.