Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
doc: clean up the README a bit #1117
Pull Request Overview
The bors PR sort of blazed its own trail. This rejiggers the text
Why aren't details of contributing in the https://github.com/tock/tock/blob/master/.github/CONTRIBUTING.md document?