On 23.12.2021 14:59, Tomas Härdin wrote:
> This sounds like something that will cause problems in the long run.
> Github will inevitably be brought into the project's workflow. People
> will start submitting tickets on Github rather than our trac. And so
> on.

issues are disabled on Github.
Otherwise, they'd be used for that constantly already.