GitHub 404s
here. I doubt they do it for historical renames though; only new ones going forward.
, to your last point, GitHub actually does do redirects when repositories get moved or renamed. You can read the announcementhere. I doubt they do it for historical renames though; only new ones going forward.
, to your last point, GitHub actually does do redirects when repositories get moved or renamed. You can read the announcement