mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-17 23:13:00 +00:00
a53178a92b
- update references to default branch name in docs, workflows - use HEAD in github urls, which always works regardless of default branch name - fix petstore URLs since the old petstore links seem to have stopped working to merge, in order: - [x] approve this PR - [x] rename the default branch to main in settings - [x] merge this PR Related tangent: I've been using [this git default-branch](https://github.com/minrk/git-stuff/blob/main/bin/git-default-branch) to help with my aliases and friends working with repos with different branch names. Signed-off-by: Min RK <benjaminrk@gmail.com>
22 lines
638 B
Bash
22 lines
638 B
Bash
#!/bin/bash
|
|
set -ex
|
|
|
|
function get_hub_version() {
|
|
rm -f hub_version
|
|
V=$1
|
|
docker run --rm -v $PWD:/version -u $(id -u) -i $DOCKER_REPO:$DOCKER_TAG sh -c 'jupyterhub --version > /version/hub_version'
|
|
hub_xyz=$(cat hub_version)
|
|
split=( ${hub_xyz//./ } )
|
|
hub_xy="${split[0]}.${split[1]}"
|
|
# add .dev on hub_xy so it's 1.0.dev
|
|
if [[ ! -z "${split[3]:-}" ]]; then
|
|
hub_xy="${hub_xy}.${split[3]}"
|
|
fi
|
|
}
|
|
# tag e.g. 0.9 with main
|
|
get_hub_version
|
|
docker tag $DOCKER_REPO:$DOCKER_TAG $DOCKER_REPO:$hub_xy
|
|
docker push $DOCKER_REPO:$hub_xy
|
|
docker tag $DOCKER_REPO:$DOCKER_TAG $DOCKER_REPO:$hub_xyz
|
|
docker push $DOCKER_REPO:$hub_xyz
|