I got confused … created an issue for a camunda modeler bug in jira and then learned there already is an issue on github. I thought that github issues are only meant for community extensions. Quick check on github: platform seems to be the only repo where issues are disabled.
Is there a concept behind this? Where should I raise new issues, how can I check if I am creating a dup?
2c: I’d prefer github only …