On 1 March 2017 at 13:49, Kamil Chmielewski <kamil....@gmail.com> wrote:
> 3 more left with names starting with 'black@'

Thanks, I didn't notice.

$ git push origin --delete black@2016-06-02 black@2016-08-31 black@2016-09-01
To https://github.com/NixOS/nixpkgs.git
 - [deleted]         black@2016-06-02
 - [deleted]         black@2016-08-31
 - [deleted]         black@2016-09-01

Best regards,
Bjørn Forsman
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Reply via email to