fix the github SSH config