On 28 February 2017 at 21:16, Vladimír Čunát <[email protected]> wrote: > On 02/28/2017 09:12 PM, Kamil Chmielewski wrote: >> I don't how could than happened and how could I remove it from upstream? > > I just ran: > $ git push origin :v192 > To github.com:NixOS/nixpkgs.git > - [deleted] v192 > > You can finish with the others (I'm not certain which they are).
Oh, I just took the rest! $ git push origin --delete black@2016-05-13 v206 v208 To https://github.com/nixos/nixpkgs.git - [deleted] black@2016-05-13 - [deleted] v206 - [deleted] v208 Hehe, I wondered what happened to v192 :-) Best regards, Bjørn Forsman _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
