Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

The devfile website should support hosting multiple devfile schemas #275

Closed
johnmcollier opened this issue Dec 10, 2020 · 2 comments
Closed

The devfile website should support hosting multiple devfile schemas #275

johnmcollier opened this issue Dec 10, 2020 · 2 comments
Assignees
@mmulholla
Labels
area/api Enhancement or issue related to the api/devfile specification area/documentation Improvements or additions to documentation kind/enhancement New feature or request severity/P2 Issues that have a major impact

Comments

@johnmcollier
Copy link
Member

Currently the https://devfile.github.io/ website hosts the latest schema generated from master in this repo (and synced to devfile/docs via a CI job).

Screen Shot 2020-12-10 at 10 52 16 AM

As part of #150, upon each release, we'll be syncing each new released schema and a schema pointing to the latest stable version over to the website as well.

To support this, the devfile website should support hosting multiple devfile schemas, and should (preferably) default to the latest stable version of the schema that's been published. There should also be an option to toggle between versions of the devfile schema for viewing (e.g. latest, stable, 2.1, 2.0, etc)
@johnmcollier johnmcollier added the area/api Enhancement or issue related to the api/devfile specification label Dec 10, 2020
@elsony elsony added the area/documentation Improvements or additions to documentation label Dec 11, 2020
@elsony
Copy link
Contributor

elsony commented Dec 11, 2020

We may want to rename latest to something like nightly to make it clear that it is a WIP version.

@rkratky rkratky added kind/enhancement New feature or request severity/P2 Issues that have a major impact labels Jan 21, 2021
@mmulholla mmulholla mentioned this issue Jan 21, 2021
Merged
@mmulholla
Copy link
Contributor

all done.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mmulholla mmulholla

Labels
area/api Enhancement or issue related to the api/devfile specification area/documentation Improvements or additions to documentation kind/enhancement New feature or request severity/P2 Issues that have a major impact
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@rkratky @johnmcollier @elsony @mmulholla