In that case we could add to About the Development category, e.g. like this:
Programming topics - questions about pull requests, add-on development and so on. If you have been redirected from github issues, please post in this category. Please don’t post feature requests here.