GitHub cleans up after cyber-attack