mediawiki/extensions/EmailDeletedPages (main)

sourcepatches
$ date
Wed Jan 26 20:01:34 UTC 2022

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

$ git config user.name libraryupgrader

$ git config user.email tools.libraryupgrader@tools.wmflabs.org

$ git submodule update --init

$ grr init
Installed commit-msg hook.

$ git show-ref refs/heads/master
b8b121d69ce75691e37863e51e6f34989e5ff80b refs/heads/master

$ git add .

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

nothing to commit, working tree clean

Logs

Source code is licensed under the AGPL.