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

Don't use registryDisks with devel tag #34

Closed
fabiand opened this issue Mar 8, 2018 · 2 comments
Closed

Don't use registryDisks with devel tag #34

fabiand opened this issue Mar 8, 2018 · 2 comments
Labels
bug

Comments

@fabiand
Copy link
Member

fabiand commented Mar 8, 2018

Some examples zuse registry disks with devel tag, but these disks are not publicly available.
@fabiand fabiand added the bug label Mar 8, 2018
@rmohr
Copy link
Member

rmohr commented Mar 8, 2018 •
edited
Loading

That works as intended. They are supposed to work with in-repo content, and not published one. Therefore explicitly the devel tag which we don't publish, so that it is in sync with the commit you check out.

@rmohr
Copy link
Member

rmohr commented Mar 8, 2018 •
edited
Loading

Sorry my mistake it's the user-guide repo here. You are right needs a fix.

@rmohr rmohr mentioned this issue Mar 8, 2018
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@fabiand @rmohr