rem’s Twitter Archive—№ 45,514

Any github employee able to tell me: if I rename my account, and someone takes my old username, what happens to repo redirects?