Nothing so exotic; a GitHub credential just got compromised. Happens all the time.