You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This has happened a couple of times recently, but not every time.
I start from a GH PR URL, "converting" it to use it with gitpod (opening that PR for the first time with gitpod). Gitpod then takes me to my workspaces page, where I see previously used workspaces, for different PRs.
Re-starting from the PR URL, a new gitpod workspace is created and opened, as originally expected.
The text was updated successfully, but these errors were encountered:
# This is the 1st commit message:
dev
# This is the commit message #2:
dev
# This is the commit message #3:
dev
# This is the commit message #4:
dev
# This is the commit message #5:
dev
# This is the commit message #6:
dev
# This is the commit message #7:
dev
# This is the commit message #8:
dev
This has happened a couple of times recently, but not every time.
I start from a GH PR URL, "converting" it to use it with gitpod (opening that PR for the first time with gitpod). Gitpod then takes me to my workspaces page, where I see previously used workspaces, for different PRs.
Re-starting from the PR URL, a new gitpod workspace is created and opened, as originally expected.
The text was updated successfully, but these errors were encountered: