1. Open a repo with github.dev. 2. Create a branch withing github.dev. 3. Try to create a PR. The "there is no upstream, do you want to publish" dialog will show. 4. "The current repository does not have a push remote for..." error shows in the "create PR" webview.