SSH key management for GitHub users