packages/mediawiki-extensions: use stable url #35

Merged
oysteikt merged 4 commits from fix-mediawiki-extensions-url into main 2024-05-26 02:45:04 +02:00
1 changed files with 1 additions and 1 deletions
Showing only changes of commit af54cc2df4 - Show all commits

View File

@ -6,7 +6,7 @@ let
in in
fetchzip { fetchzip {
name = "mediawiki-pluggable-auth-source"; name = "mediawiki-pluggable-auth-source";
url = "https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/${project_name}/+archive/${commit}.tar.gz"; url = "https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/${project-name}/+archive/${commit}.tar.gz";
hash = "sha256-mLepavgeaNUGYxrrCKVpybGO2ecjc3B5IU8q+gZTx2U="; hash = "sha256-mLepavgeaNUGYxrrCKVpybGO2ecjc3B5IU8q+gZTx2U=";
stripRoot = false; stripRoot = false;
passthru = { inherit project-name tracking-branch; }; passthru = { inherit project-name tracking-branch; };