GitHub command palette wins stay of execution after dev pushback

GitHub has "paused" the removal of the command palette, which enables keyboard control of the GitHub web application, following developer protests.

On July 16, GitHub declared in a now-updated post that the feature would be removed from August 6. The reason given was "low usage" and the advice for users of the feature was to "plan for this change."

Yesterday this decision was reversed. "Your feedback highlighted how integral this feature is to many developers' workflows," said a GitHub staff member. There is no promise to keep the command palette permanently, but it will remain available while the team explores improvements to navigation.

The GitHub Command Palette was introduced at the Universe event in October 2021 as a public beta. It is categorized as an accessibility feature, but also valued by developers who prefer quick keystrokes to fiddling with the mouse.

Summoned by Ctrl+K (or Cmd+K on macOS ...