New issue
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
Author
Label
Projects
Milestones
Assignee
Sort
No remote with name 'ups' found. Please update your 'githubPullRequests.remotes' setting.
#1879
opened Jun 8, 2020 by
Tyriar
PR comment experience is *really* bad (when checked out branch is stale?)
#1864
opened Jun 5, 2020 by
AArnott
Suppress the error message "The remote '...' is not a GitHub repository"
#1863
opened Jun 5, 2020 by
tamuhey
Branch name is UNKNOWN after merging PR and deleting branch
bug
#1838
opened May 28, 2020 by
kamthamc
Squash and merge missing the PR number in the commit title
#1828
opened May 23, 2020 by
felipecassiors
Previous Next
ProTip!
What’s not been updated in a month: updated:<2020-05-14.