On Tue, 28 Feb 2017 12:12:43 -0800 Kamil Chmielewski <kamil....@gmail.com> wrote: > Yep, something went wrong, those are tags from my private *channel*. > I don't how could than happened and how could I remove it from > upstream?
git push origin :<tagname> the : in front of what you want to push marks it as "remove", both for tags and branches. Of course if you didn't name the official nixpkgs upstream "origin", you have to replace that ;-) - Arnold
signature.asc
Description: PGP signature
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
