Around 3,800 repositories of GitHub internal code have been exfiltrated, company rotates credentials as devs ponder the ...