[Nix-dev] About merge vs non-merge

[Luca Bruno]

>
>
> 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