Thank you for posting.

(The link is a very detailed blog post about why this migration is happening, and what alternatives to GitHub were considered).