2024-07-08 19:54:42 +02:00
|
|
|
{ fetchgit }:
|
2024-04-14 19:26:11 +02:00
|
|
|
let
|
2024-07-08 16:55:01 +02:00
|
|
|
commit = "ecb47191fecd1e0dc4c9d8b90a9118e393d82c23";
|
2024-04-14 19:26:11 +02:00
|
|
|
project-name = "SimpleSAMLphp";
|
|
|
|
tracking-branch = "REL1_41";
|
|
|
|
in
|
2024-07-08 19:54:42 +02:00
|
|
|
(fetchgit {
|
2024-03-28 14:24:58 +01:00
|
|
|
name = "mediawiki-simple-saml-php-source";
|
2024-07-08 19:54:42 +02:00
|
|
|
url = "https://gerrit.wikimedia.org/r/mediawiki/extensions/${project-name}";
|
|
|
|
rev = "refs/heads/${tracking-branch}";
|
2024-07-08 16:55:01 +02:00
|
|
|
hash = "sha256-gKu+O49XrAVt6hXdt36Ru7snjsKX6g2CYJ0kk/d+CI8=";
|
2024-07-08 19:54:42 +02:00
|
|
|
}).overrideAttrs (_: {
|
2024-04-14 19:26:11 +02:00
|
|
|
passthru = { inherit project-name tracking-branch; };
|
2024-07-08 19:54:42 +02:00
|
|
|
})
|