This is so disappointing! When they added the command palette, that actually gave me the final nudge I needed to start trying to minimize mouse usage and keep my hands on the keyboard. It's been great.
I don't use GitHub occasionally, I use it throughout every workday. Power-user tools like the command palette feel like exactly the kind of feature that fits a tool like GitHub.
This is so disappointing! When they added the command palette, that actually gave me the final nudge I needed to start trying to minimize mouse usage and keep my hands on the keyboard. It's been great.
I don't use GitHub occasionally, I use it throughout every workday. Power-user tools like the command palette feel like exactly the kind of feature that fits a tool like GitHub.