Now I suppose it's the chance for Github to publish a "we did it first!" blog post (as is common for Gitlab to publish)