Excellent. A few years stagnation, finally something moved, and such a #%&*$#.
You really did not write pm to anyone before moving everything to github?