Jeremy Tuloup

Then that means the default running server would have to be stopped, so a new one could be started? It sounds like it would be nicer to let the users...

> Could we stop a running server if the user closes the web browser window? Technically: setting a small value for the idle culler could almost simulate this behavior In...

Looks like some of: - https://github.com/deathbeds/wxyz/blob/master/atest/_resources/keywords/Server.robot - https://github.com/deathbeds/wxyz/blob/master/atest/_resources/keywords/Lab.robot could be moved to this repo for example? Trying to think of a minimal setup with the least amount of configuration files...

Thanks for all the details :+1: > Robot/selenium browser tests can easily get very, very slow; a lot of the time can get lost just waiting for bad conditions Have...

Just tried another scenario to double check the behavior, and it seems like there are also permission issues when trying to push to an org repo directly, even with full...

It would be nice to keep the issue open a bit longer as having support for this workflow would be super helpful to maintainers!

Commenting here after the stale bot :) Still thinking it would be a great feature!

Commenting again here as this would still be useful!

Oh that would explain why. I just granted access for another org, opened a PR created from the fork of a contributor, made some changes and pushed to the fork...

This can likely be closed then. Or this page in the docs could have a small mention of this use case too: https://www.gitpod.io/docs/configure/authentication/github#errors-with-private-repositories-on-github-orgs