packages/mediawiki-extensions: bump all

This commit is contained in:
Øystein Tveit
2024-07-08 16:55:01 +02:00
parent 0301691b1c
commit d0f63b2fc8
5 changed files with 11 additions and 11 deletions

View File

@@ -1,13 +1,13 @@
{ fetchzip }:
let
commit = "a53af3b8269ed19ede3cf1fa811e7ec8cb00af92";
commit = "c17c919bdb9b67bb69f80df43e9ee9d33b1ecf1b";
project-name = "UserMerge";
tracking-branch = "REL1_41";
in
fetchzip {
name = "mediawiki-user-merge-source";
url = "https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/${project-name}/+archive/${commit}.tar.gz";
hash = "sha256-0ofCZhhv4aVTGq469Fdu7k0oVQu3kG3HFa8zaBbUr/M=";
hash = "sha256-+mkzTCo8RVlGoFyfCrSb5YMh4J6Pbi1PZLFu5ps8bWY=";
stripRoot = false;
passthru = { inherit project-name tracking-branch; };
}