mediawiki/extensions/WebDAVMinorSave (REL1_42)

sourcepatches
$ date
--- stdout ---
Sun Nov 17 14:19:25 UTC 2024

--- end ---
$ git clone file:///srv/git/mediawiki-extensions-WebDAVMinorSave.git repo --depth=1 -b REL1_42
--- stderr ---
Cloning into 'repo'...
--- stdout ---

--- end ---
$ git config user.name libraryupgrader
--- stdout ---

--- end ---
$ git config user.email tools.libraryupgrader@tools.wmflabs.org
--- stdout ---

--- end ---
$ git submodule update --init
--- stdout ---

--- end ---
$ grr init
--- stdout ---
Installed commit-msg hook.

--- end ---
$ git show-ref refs/heads/REL1_42
--- stdout ---
162e4827c1b6227aaea7c61db015f2b2138efb9a refs/heads/REL1_42

--- end ---
[DNM] there are no updates
$ git add .
--- stdout ---

--- end ---
$ git commit -F /tmp/tmpbsdm1cu2
--- stdout ---
On branch REL1_42
Your branch is up to date with 'origin/REL1_42'.

nothing to commit, working tree clean

--- end ---

Logs

Source code is licensed under the AGPL.