We cannot include all user contributed tags into the Geany releases. This would make the releases much bigger and also the user contributed tags files in the wiki might have differing quality and are not checked in any way.
The latter is actually an advantage as anyone can easily contribute new tags in the wiki without pull requests and waiting for review. I think based on the frequence how they are updated, it's probably as is. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/discussions/4586#discussioncomment-17606337 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/repo-discussions/4586/comments/[email protected]>
