This is all becoming too restrictive. I think merge the PR and go on. If it just doesn't work, revert. If it e.g. builds on linux and not on darwin, just remove from platforms. I'd please everybody to not put too bureaucracy in the process. Keeping hydra to zero is frustrating, as well as accumulating pull requests and letting other people keep branches and branches of branches around.
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
