Hello, I have made 3 pull requests for the Genode, Goa and Genodians.org Github repositories. I have changed the README file to README.md to make it a markdown file. Nearly all big Github repositories use README.md markdown files as it allows the creation of more sophisticated and professional Github pages. I would appreciate any feedback on the changes.
You can view my changes on my Github forks:
https://github.com/axiomsss/goa https://github.com/axiomsss/genode https://github.com/axiomsss/genodians.org
Thanks.