No worries, that’s why PRs are so great since maintainers get to review it before applying it. So by all means give it a try and we’ll guide you along as necessary.
You can either:
- Make a pull request from your own branch, or;
- Edit via the front-end, which creates a branch for you.
Option two is easier and pretty handy when you only need to edit one file.
(do note it seems GitHub might be having some server issues right now)