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

add repo2docker workflow #7

Merged
merged 4 commits into from
Nov 12, 2020
Merged

add repo2docker workflow #7

merged 4 commits into from
Nov 12, 2020

Conversation

jburel
Copy link
Member

@jburel jburel commented Nov 10, 2020

@sbesson
Copy link
Member

sbesson commented Nov 12, 2020

Is something missing from 5a7682a ? The commit content does not match the description.

@jburel
Copy link
Member Author

jburel commented Nov 12, 2020

Oops, I forgot to save the change

@sbesson
Copy link
Member

sbesson commented Nov 12, 2020

Thanks. Can you also add the corresponding .properties.json file describing the workflow?

@jburel
Copy link
Member Author

jburel commented Nov 12, 2020

Done

@sbesson
Copy link
Member

sbesson commented Nov 12, 2020

Thanks. Merging and we can start rolling this out to repos.

@sbesson sbesson merged commit 5a622f7 into ome:master Nov 12, 2020
@sbesson
Copy link
Member

sbesson commented Nov 12, 2020 •
edited
Loading

Screenshot 2020-11-12 at 11 32 36

@jburel jburel deleted the repo2docker branch March 22, 2022 10:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sbesson sbesson sbesson left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jburel @sbesson