mirror of
https://github.com/jupyter/docker-stacks.git
synced 2025-10-09 19:12:59 +00:00
10c58da405
Generates manifest pages and pushes them to the docker-stacks GitHub wiki. Does not update a global index of all builds yet.
48 lines
1.2 KiB
Bash
Executable File
48 lines
1.2 KiB
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
# Tag the latest build with the short git sha. Push the tag in addition
|
|
# to the "latest" tag already pushed.
|
|
GIT_SHA_TAG=${SOURCE_COMMIT:0:12}
|
|
docker tag $IMAGE_NAME $DOCKER_REPO:$GIT_SHA_TAG
|
|
docker push $DOCKER_REPO:$GIT_SHA_TAG
|
|
|
|
# Create a working directory.
|
|
WORKDIR=$(mktemp -d)
|
|
GIT_URI="git@github.com:jupyter/docker-stacks.wiki.git"
|
|
GIT_SANDBOX="${WORKDIR}/docker-stacks.wiki"
|
|
IMAGE_SHORT_NAME=$(basename $DOCKER_REPO)
|
|
MANIFEST_FILE="${GIT_SANDBOX}/manifests/${IMAGE_SHORT_NAME}-${SOURCE_COMMIT:0:12}.md"
|
|
|
|
# Configure git so it can push back to GitHub.
|
|
eval $(ssh-agent -s)
|
|
ssh-add <(echo "$DEPLOY_KEY")
|
|
ssh-add -l
|
|
git config --global user.email "jupyter@googlegroups.com"
|
|
git config --global user.name "Jupyter Docker Stacks"
|
|
|
|
# Glone the GitHub project wiki.
|
|
pushd "$WORKDIR"
|
|
git clone "$GIT_URI"
|
|
popd
|
|
|
|
# Render the build manifest template.
|
|
mkdir -p $(dirname "$MANIFEST_FILE")
|
|
source hooks/manifest.tmpl
|
|
|
|
# Push the wiki update back to GitHub.
|
|
pushd "$GIT_SANDBOX"
|
|
git add .
|
|
git commit -m "DOC: Build ${MANIFEST_FILE}"
|
|
git push -u origin master
|
|
popd
|
|
|
|
# Shutdown the ssh agent for good measure.
|
|
ssh-agent -k
|
|
|
|
# Invoke all downstream build triggers.
|
|
set +e
|
|
for url in $(echo $NEXT_BUILD_TRIGGERS | sed "s/,/ /g")
|
|
do
|
|
curl -X POST $url
|
|
done |