Skip to content

Commit

Permalink
Namespace channel pushes in nixpkgs
Browse files Browse the repository at this point in the history
PRs to NixOS are a bit confused about if they should PR to release-* or nixos-* or nixpkgs-*. I think namespacing the refs will go a long way in making it more obvious.
  • Loading branch information
grahamc committed Oct 29, 2019
1 parent 6165ae6 commit 38d2339
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion mirror-nixos-branch.pl
Expand Up @@ -226,7 +226,7 @@ sub fetch {
# 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 origin $rev:refs/heads/channels/$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";
Expand Down

0 comments on commit 38d2339

Please sign in to comment.