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.

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

Updates binderhub chart to 1.0.0-0.dev.git.3308.h4a92ad9 #2775

Merged
merged 1 commit into from Oct 15, 2023

Conversation

jupyterhub-bot
Copy link
Collaborator

@jupyterhub-bot jupyterhub-bot commented Oct 14, 2023

Updates mybinder to depend on the binderhub chart version 1.0.0-0.dev.git.3308.h4a92ad9 from version 1.0.0-0.dev.git.3199.h54522bc.

  Before After
Chart.yaml's version 1.0.0-0.dev.git.3199.h54522bc 1.0.0-0.dev.git.3308.h4a92ad9
Chart.yaml's appVersion null null

PRs

109 commits between 54522bc and 4a92ad9, not searching for PRs

jupyterhub/binderhub@54522bc...4a92ad9

Related

@jupyterhub-bot jupyterhub-bot added dependencies Pull requests that update a dependency file maintenance labels Oct 14, 2023
@manics
Copy link
Member

manics commented Oct 14, 2023

js is missing from
https://github.com/jupyterhub/binderhub/blob/451eba4339749dc17a3e997ecbd487d2eac1b3bd/helm-chart/chartpress.yaml#L26-L34
so PRs which only touch that folder aren't published.

@jupyterhub-bot jupyterhub-bot changed the title Updates binderhub chart to 1.0.0-0.dev.git.3298.hfe2bf1b Updates binderhub chart to 1.0.0-0.dev.git.3308.h4a92ad9 Oct 15, 2023
@yuvipanda yuvipanda merged commit a2aab7b into main Oct 15, 2023
6 checks passed
@yuvipanda yuvipanda deleted the update-chart-binderhub branch October 15, 2023 04:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file maintenance
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants