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