There is no strict process when it comes to merging pull requests. Pull requests will sometimes take a while before they are looked at by a maintainer; the bigger the change, the more time it will take before they are accepted.
Please feel free to:
- add your own codebase(s);
- add missing codebases;
- fix mistakes through a Pull Requests (PR is short).
Do not add any of the following in a Pull Request or risk getting the PR closed:
- Code which violates GitHub's terms of service.