Improved SSH Key Organization
The original ssh public key interface left a lot to be desired. It’s was bulky, unintuitive, and altogether a pain to manage if you had lots of public keys. With…
The original ssh public key interface left a lot to be desired. It’s was bulky, unintuitive, and altogether a pain to manage if you had lots of public keys.
With any luck, we’ve solved all of those issues with our new interface:
You’re now able to assign a name to your keys as well as very quickly add, edit, and delete them. All without having to deal with a bunch of textareas littering the page. We hope you like it!
Written by
Related posts
We need a European Sovereign Tech Fund
Open source software is critical infrastructure, but it’s underfunded. With a new feasibility study, GitHub’s developer policy team is building a coalition of policymakers and industry to close the maintenance funding gap.
GitHub Availability Report: June 2025
In June, we experienced three incidents that resulted in degraded performance across GitHub services.
From pair to peer programmer: Our vision for agentic workflows in GitHub Copilot
AI agents in GitHub Copilot don’t just assist developers but actively solve problems through multi-step reasoning and execution. Here’s what that means.