Renaming instruction are there: https://github.com/github/renaming Since it affects any potential user, we should get agreement from the SWG first.