Reusing Codespace for multiple PRs needs documentation

[vvvyyynet]

Link to the Page

No response

Describe the Issue

When a Codespace is used for multiple PRs the synchronize button (which will push the commits) errors out if no manual "git rebase" is performed. Syncing the workspace after a PR does not help, it will still show that the current branch is N commits ahead.

The documentation should talk about this:

• Either make users create an individual Codespace for each PR
• Tell them how to run "git rebase" (they have to open a new terminal inside the Codespace)
• Maybe there are other options?

Are you able to create a Pull Request with the fix?

None