Hi Eelco, On Thu, 26 Jul 2012 16:05:48 -0400, Eelco Dolstra <[email protected]> wrote: > Could you merge simple pull requests like this without doing a merge commit? > It > keeps the history simpler to read. I do > > $ curl https://github.com/NixOS/nixos/pull/20.patch | git am > $ git push
To be sure: Does that actually close pull requests or do we end up with open pull requests? For me the docs are not fully clear on that: https://help.github.com/articles/using-pull-requests regards florian -- Florian Friesdorf <[email protected]> GPG FPR: 7A13 5EEE 1421 9FC2 108D BAAF 38F8 99A3 0C45 F083 Jabber/XMPP: [email protected] IRC: chaoflow on freenode,ircnet,blafasel,OFTC
pgp7sKSt96mfH.pgp
Description: PGP signature
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
