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

Handle old PRs with deleted forks. #802

Closed
akosyakov opened this issue Sep 20, 2019 · 2 comments
Closed

Handle old PRs with deleted forks. #802

akosyakov opened this issue Sep 20, 2019 · 2 comments
Labels
meta: stale This issue/PR is stale and will be closed soon user experience

Comments

@akosyakov
Copy link
Member

Took a bit of time to figure out why i cannot start a workspace:
Screen Shot 2019-09-20 at 11 45 55
@jankeromnes
Copy link
Contributor

Similar to #4.

@stale
Copy link

stale bot commented Oct 4, 2020

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the meta: stale This issue/PR is stale and will be closed soon label Oct 4, 2020
@stale stale bot closed this as completed Mar 18, 2021
@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
meta: stale This issue/PR is stale and will be closed soon user experience
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jankeromnes @akosyakov