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

[Michael Raskin]

>>>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 github declares
>that the commit has been merged from maggesi:master into NixOS:master.

Request with no commits got merged. Nothing too strange.