On 30-01-2017 21:28:11, Graham Christensen wrote: > > SIDE NOTE: I'm considering making a bot which comments on PRs with a > link to their jobset. Unless someone objects, I'll go ahead and do so. >
PLEASE go ahead! I'd love to get notifications like this! Also, you could email the author of the PR (or all authors of the commits) if someone objects against github-issue-comment-noise! -- Mit freundlichen Grüßen, Kind regards, Matthias Beyer Consider switching to free software. It adds value to your life. https://www.gnu.org/
signature.asc
Description: PGP signature
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
