>>>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. _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
