the-distro/channel-scripts
1
0
Fork 1
Code Issues 8 Pull requests Packages Projects Releases Wiki Activity

Push to the nixpkgs repo

Browse source 
Fixes https://github.com/NixOS/nixpkgs/issues/71176.
This commit is contained in:
Eelco Dolstra 2019-10-17 19:35:28 +02:00
parent 3e89acae6a
commit 6165ae664d
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
mirror-nixos-branch.pl
View file

@ -223,8 +223,10 @@ if ((read_file($channelLink, err_mode => 'quiet') // "") ne $target) {
system("cat $channelsDir/.htaccess-nix* > $channelsDir/.htaccess.tmp") == 0 or die;
rename("$channelsDir/.htaccess.tmp", "$channelsDir/.htaccess") or die;
# Update the nixpkgs-channels repo.
# Update the nixos-* branch in the nixpkgs repo. Also update the
# nixpkgs-channels repo for compatibility.
system("git remote update origin >&2") == 0 or die;
system("git push origin $rev:refs/heads/$channelName >&2") == 0 or die;
system("git push channels $rev:refs/heads/$channelName >&2") == 0 or die;
flock($lockfile, LOCK_UN) or die "cannot release channels lock\n";