GitHub SSH key is Leaked - How bad is this?