Alex Ross

> Set up an automatic port forward on port 4200 (or any other port) @tekumara did you just start a process on the remote and then the port was automatically...

If you see the issue again, can you share the logs from Extension Host and Window?

@chrmarti The remote containers extension is calling `openTunnel` with `1234` as the _host_ and `8080` as the _port_ in this case. It should instead make sure to call `openTunnel` with...

Copied to the upstream repo that we pull the python grammar from: https://github.com/MagicStack/MagicPython/issues/253

If a webview needs the port then the owner of the webview should call `asExternalUri` to cause it to be forwarded. Automatic port forwarding is a user facing feature and...

> When you save a file Is this when you have a file open in VS Code? > the local files don't update, leading to confusion and frustration when you...

Yes, github.com allows you to approve multiple times. I'll see what I can add to the focus view to make it clearer that your approve went through.

You should see your username and a checkmark after you approve and submit:  Do you not see this?

I'd prefer to add further emphasis to the focus view rather than open the full PR description. As a user of the view myself, I don't want the whole description...

No rush, I put this in the October Milestone!