[Nix-dev] About merge vs non-merge

Luca Bruno lethalman88 at gmail.com
Tue Sep 2 21:59:41 CEST 2014


>
>
> I'm not sure what the purpose of this thread is. Is it to incite people
> to use the green button? Is it to ask them to manually merge smarter?
>
> Not lose track of multiple-commit merges, and not lose track of the PR
information when manually pushing PRs.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20140902/72b39bab/attachment.html 


More information about the nix-dev mailing list