Just realized the weight of moving the primary location of our source code given the number of links to it out there
And the whole forks ecosystem
And the way commit messages refer to GitHub issue numbers
@Gargron I hope you'll at least keep up the Github as a mirror so the rest of us can still submit tickets / report bugs.
@Almafeta What do you mean by the rest of us?
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!