It would be nice to have a CONTRIBUTING file

[mithro]

If you create a CONTRIBUTING (or CONTRIBUTING.md) file in your repository in your repo with some quick instructions on how to contribute then github will include this when you open pull requests or try and log issues. See https://github.com/blog/1184-contributing-guidelines

Two things which would be nice to have are;

• What type of issues should be logged and what details they should include.
• How / where to send patches if not using mailing lists. The instructions in the README are probably a good start;

• send us the modifications and improvements you have done to MiSoC. The use of "git format-patch" is recommended. If your submission is large and complex and/or you are not sure how to proceed, feel free to discuss it on the mailing list or IRC (#m-labs on Freenode) beforehand.

[mithro]

Will try and send a patch include such a file shortly.