Skip to content

Conversation

@jupyterhub-bot
Copy link
Collaborator

@jupyterhub-bot jupyterhub-bot commented Jul 25, 2025

Updates mybinder to depend on the binderhub chart version 1.0.0-0.dev.git.3782.he87eff2d from version 1.0.0-0.dev.git.3752.h02768abc.

  Before After
Chart.yaml's version 1.0.0-0.dev.git.3752.h02768abc 1.0.0-0.dev.git.3782.he87eff2d
Chart.yaml's appVersion null null

PRs

  • #1937 Update library/docker version from 27.5.1-dind to 28.3.3-dind (maintenance, dependencies)
  • #1982 Remove problematic test (tests, ci)
  • #1986 Switch to rbubley/mirrors-prettier (ci)
  • #1988 Update documentation to mention sphinx-autobuild (documentation)
  • #1989 Minor cosmetic improvements to documentation (documentation)
  • #1990 Add missing steps to kubernetes integration (documentation)
  • #1995 Remove / from BINDER_URL used in test-local (ci)
  • #1999 Add step to restore context used by docker (documentation)
  • #2002 Replace time.sleep() with asyncio.sleep() (ci)
  • #2003 Fix race condition in test_loading_page (bug, ci)
  • #2004 Z2JH 4.2.0, JupyterHub 5.3.0 (dependencies)

jupyterhub/binderhub@02768ab...e87eff2

Related

@jupyterhub-bot jupyterhub-bot added dependencies Pull requests that update a dependency file maintenance labels Jul 25, 2025
@jupyterhub-bot jupyterhub-bot force-pushed the update-chart-binderhub branch 2 times, most recently from 426d06a to f4cd5d9 Compare August 10, 2025 05:06
@jupyterhub-bot jupyterhub-bot changed the title Updates binderhub chart to 1.0.0-0.dev.git.3754.hb05f032e Updates binderhub chart to 1.0.0-0.dev.git.3780.hf9415151 Aug 10, 2025
@jupyterhub-bot jupyterhub-bot force-pushed the update-chart-binderhub branch from f4cd5d9 to 259bdde Compare August 12, 2025 05:03
@jupyterhub-bot jupyterhub-bot force-pushed the update-chart-binderhub branch from 259bdde to 37ade43 Compare August 13, 2025 05:05
@jupyterhub-bot jupyterhub-bot changed the title Updates binderhub chart to 1.0.0-0.dev.git.3780.hf9415151 Updates binderhub chart to 1.0.0-0.dev.git.3782.he87eff2d Aug 13, 2025
@manics manics merged commit 68748e3 into main Aug 14, 2025
7 checks passed
@manics manics deleted the update-chart-binderhub branch August 14, 2025 09:27
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.

3 participants