Skip to content

Support a Workspace using a Devfile from a project repository

Chad Woolley requested to merge remote_dev_project_devfile into remote_dev

What does this MR do and why?

Relates: !105783 (merged)

This is a branch off the remote_dev integration branch for Remote Development feature behind a feature flag (!105783 - merged)

It adds support for linking a Workspace to a Project which contains a Devfile in the root of the project repo, and automatically updating the Workspace with all changes to the Devfile which are committed and pushed.

It also includes various cleanup and fixes to the GraphQL mutations/types/etc, and some other areas.

Notes

  • There are occasionally problems with the GraphQL subscriptions showing an error in the Javascript console, related to an invalid query. But this is not fully reproducible, and I'm not sure if it even causes any functionality problems. We should understand the the root cause of them.

Screenshots or screen recordings

https://youtu.be/lh75WIKh-l4

How to set up and validate locally

See Remote Development feature behind a feature flag (!105783 - merged) and associated docs.

MR acceptance checklist

This checklist encourages us to confirm any changes have been analyzed to reduce risks in quality, performance, reliability, security, and maintainability.

NOTE: The full checklist is not applicable, as this is not production-quality code. It is only going to be merged into the upstream remote_dev spike branch.

Edited by Chad Woolley

Merge request reports