Re: [Nix-dev] Wrong tags in nixpkgs

2017-03-01 Thread Bjørn Forsman
On 1 March 2017 at 13:49, Kamil Chmielewski 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]

Re: [Nix-dev] Wrong tags in nixpkgs

2017-03-01 Thread Kamil Chmielewski
On Feb 28, 2017 at 10:05 PM, "Vladimír Čunát" wrote: > On 02/28/2017 09:26 PM, Kamil Chmielewski wrote: > > > I've never had write permissions to NixOS/nixpkgs so i got: > Then it would be very strange if you managed to push the tags to nixpkgs. > Still, it's possible someone

Re: [Nix-dev] Wrong tags in nixpkgs

2017-02-28 Thread Vladimír Čunát
On 02/28/2017 09:26 PM, Kamil Chmielewski wrote: > I've never had write permissions to NixOS/nixpkgs so i got: Then it would be very strange if you managed to push the tags to nixpkgs. Still, it's possible someone else with commit access pulled from your repo(s) and then pushed to nixos/nixpkgs

Re: [Nix-dev] Wrong tags in nixpkgs

2017-02-28 Thread Arnold Krille
On Tue, 28 Feb 2017 12:12:43 -0800 Kamil Chmielewski 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 : the : in front of what you want to push marks it

Re: [Nix-dev] Wrong tags in nixpkgs

2017-02-28 Thread Kamil Chmielewski
On Feb 28, 2017 at 09:18 PM, "Bjørn Forsman" wrote: > On 28 February 2017 at 21:16, Vladimír Čunát 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

Re: [Nix-dev] Wrong tags in nixpkgs

2017-02-28 Thread Bjørn Forsman
On 28 February 2017 at 21:16, Vladimír Čunát 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]

Re: [Nix-dev] Wrong tags in nixpkgs

2017-02-28 Thread Vladimír Čunát
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).

Re: [Nix-dev] Wrong tags in nixpkgs

2017-02-28 Thread Kamil Chmielewski
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? Best regards, Kamil On Feb 28, 2017 at 08:49 PM, "Bjørn Forsman" wrote: > Hi Kamil, I think you mistakenly pushed some tags to

[Nix-dev] Wrong tags in nixpkgs

2017-02-28 Thread Bjørn Forsman
Hi Kamil, I think you mistakenly pushed some tags to upstream nixpkgs repo (some of those tags are annotated, so they contain your email): $ git pull ... From https://github.com/nixos/nixpkgs 63fee95d58..40de598c60 release-16.09-> origin/release-16.09 0dee2a1bcc..62c5f68847 master