martin Re: Move the forum/bugs to the issues on github 2022-12-12 We are not really using GitHub. The public GitHub repository is just an partial export from our internal repository.
andry Move the forum/bugs to the issues on github 2022-12-09 08:25 I propose to move the Feature Requests / bugs to the issues on GitHub. Since this is a standard, and doing PR in isolation from tasks is not convenient.