Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
x/build: add dev.boringcrypto automerger tool #25407
We don't get to know when dev.boringcrypto stops merging cleanly with master, or when tests break.
On suggestion by @bradfitz, make a tool that periodically merges master into dev.boringcrypto.
If the merge fails, email a list; if the merge succeeds, the buildbots will run.