On 19-09-19 23 h 30, Louis-Philippe Véronneau wrote:
I'd like to migrate to Gitlab. If you have an opinion on this, I'd like to hear it:
If on November 19th 2019 (in 2 months) we don't have a strong consensus on the issue tracker against moving to Gitlab, I'll initiate the move.
I've completed the move to gitlab.com. The new repository can be found at:
The old github repository has been archived.