[DONT MERGE] devserver experiment #19158
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
geropl
force-pushed
the
gpl/devserver
branch
from
3db62f5
to
bee0616
Compare
svenefftinge
reviewed
Dec 1, 2023
|
|
||
| ## Blocker: OAuth | ||
|
|
||
| Even if we fixed all of the above: You still can't login, because of the OAuth flow: We don't have a stable domain name for the workspace, so you'd have to adjust your GitHub app and update the credentials for every workspace. |
There was a problem hiding this comment.
What if we use a special container module for the dev mode., where we mock a few things out?
I believe the containermodule we use for our tests could be a good start.
There was a problem hiding this comment.
@svenefftinge Yeah, thought about that as well. Would love to sync on what dev experience you have in mind, to guide what we mock out and how.
Anyway, I have to turn to more urgent things I feel, so won't make progress in the next couple of days - happy for any contributions here, though! 👍
|
This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Time-boxed effort to see if we can run a rudimentary version of our API inside the workspace to ease dashboard development.
Summary generated by Copilot
🤖[deprecated] Generated by Copilot at aecbc0e
Add a new configuration file for local development of the Gitpod server. The file
dev-config.jsonoverrides some default values and specifies the paths to the required secrets and credentials files. The file is used by thedevstagingscript.Related Issue(s)
Fixes EXP-999
How to test
Documentation
Preview status
Gitpod was successfully deployed to your preview environment.
Build Options
Build
Run the build with werft instead of GHA
Run Leeway with
--dont-testPublish
Installer
Add desired feature flags to the end of the line above, space separated
Preview Environment / Integration Tests
If enabled this will build
install/previewIf enabled this will create the environment on GCE infra
Saves cost. Untick this only if you're really sure you need a non-preemtible machine.
Valid options are
all,workspace,webapp,ide,jetbrains,vscode,ssh. If enabled,with-previewandwith-large-vmwill be enabled./hold