[Nix-dev] Can't understand how pull requests work

I submitted this pull request last week https://github.com/NixOS/nixpkgs/pull/216 I cannot understand how this request could be marked as merged and closed by me (I don't have commit access on the nixpkgs project, i think). Also I noticed that no commit is associated to this pull request. Can

Re: [Nix-dev] Can't understand how pull requests work

2012/12/23 Michael Raskin 7c6f4...@mail.ru: I submitted this pull request last week https://github.com/NixOS/nixpkgs/pull/216 I cannot understand how this request could be marked as merged and closed by me (I don't have commit access on the nixpkgs project, i think). Also I noticed that no

Re: [Nix-dev] Can't understand how pull requests work

Also I noticed that no commit is associated to this pull request. Can someone enlighten what actually happened? I am not sure, but my working hypothesis would be that someone silently picked your commit into master without using GitHub UI. Probably myself. But what I don't understand is that