Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Can't open closed pull requests in Gitpod #321

Closed
jankeromnes opened this issue Feb 19, 2019 · 1 comment
Closed

Can't open closed pull requests in Gitpod #321

jankeromnes opened this issue Feb 19, 2019 · 1 comment

Comments

@jankeromnes
Copy link
Contributor

Describe the bug
Trying to open a closed pull request in Gitpod gives:

We have trouble parsing your context
Error: Cannot read property 'repository' of null

To Reproduce

  1. Try to open a closed pull request in Gitpod, e.g. https://gitpod.io/#https://github.com/gitpod-io/gitpod-docs/pull/80

Expected behavior
It would be nice if we could open closed pull requests in Gitpod. Or, if that's not supported, maybe we should say that in a more explicit error message?
@AlexTugarev
Copy link
Member

Same as #4?

@jankeromnes jankeromnes mentioned this issue Apr 9, 2021
Merged
jankeromnes added a commit that referenced this issue Apr 9, 2021
@jankeromnes
[server] Improve error message when trying to open a PR with deleted …
2ecf52f 
…branch

Fixes #4 #321 #802 #1375 #3659 gitpod-com/gitpod#1722 gitpod-com/gitpod#2244
jankeromnes added a commit that referenced this issue Apr 12, 2021
@jankeromnes
[server] Improve error message when trying to open a PR with deleted …
c014522 
…branch

Fixes #4 #321 #802 #1375 #3659 gitpod-com/gitpod#1722 gitpod-com/gitpod#2244
jankeromnes added a commit that referenced this issue Apr 12, 2021
@jankeromnes
[server] Improve error message when trying to open a PR with deleted …
3dbb050 
…branch

Fixes #4 #321 #802 #1375 #3659 gitpod-com/gitpod#1722 gitpod-com/gitpod#2244
MatthewFagan pushed a commit to trilogy-group/gitpod that referenced this issue Aug 9, 2021
@jankeromnes
[server] Improve error message when trying to open a PR with deleted …
79924b0 
…branch

Fixes #4 gitpod-io#321 gitpod-io#802 gitpod-io#1375 gitpod-io#3659 gitpod-com/gitpod#1722 gitpod-com/gitpod#2244
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jankeromnes @AlexTugarev