We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The instructions to install the extension include this line
Open the command palette and execute PullRequestMonitor.setToken
Seemed unclear to me how to execute that command. I tried typing Pull... but nothing appeared. Only found after a few min of trial and error.
Pull...
Maybe simply write execute PR Monitor: Set Github Token?
PR Monitor: Set Github Token
The text was updated successfully, but these errors were encountered:
Until seeing this issue, I was trying to use GitHub: Set Personal Access Token... because the instructions only say PullRequestMonitor.setToken.
GitHub: Set Personal Access Token...
PullRequestMonitor.setToken
Sorry, something went wrong.
No branches or pull requests
The instructions to install the extension include this line
Seemed unclear to me how to execute that command. I tried typing
Pull...
but nothing appeared. Only found after a few min of trial and error.Maybe simply write execute
PR Monitor: Set Github Token
?The text was updated successfully, but these errors were encountered: