https://docs.github.com/en/get-started/using-github/github-command-palette