This is regarding the protocol and etiquette for getting some extensions on the GitHub extensions repo (https://github.com/i7/extensions).
I have a few extensions I’ve written that may be helpful to other authors, specifically around description handling. Is the idea just to clone the repo and make a pull request with those included?
Pull requests usually aren’t used, unless you’re after feedback from others, however not many people seem to monitor the pull requests so you might not get much.
Instead if you tell me your Github username I’ll add you to the committers list and you can just commit directly!