Discussion on question by Raymie: Github account hacked and repo wiped

for anyone affected, no doubt your server has been breached at some point, just assume that all your credentials have been harvested and take steps to mitigate