pull/1071/head
Simon Li 2021-08-12 23:17:10 +01:00
rodzic e6f4966881
commit c6f09ea2e4
1 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -46,7 +46,7 @@ jobs:
steps: steps:
- name: Should we push this image to a public registry? - name: Should we push this image to a public registry?
run: | run: |
if [ "${{ startsWith(github.ref, 'refs/tags/') || (github.ref == 'refs/heads/master') }}" = "true" ]; then if [ "${{ startsWith(github.ref, 'refs/tags/') || (github.ref == 'refs/heads/main') }}" = "true" ]; then
# Empty => Docker Hub # Empty => Docker Hub
echo "REGISTRY=" >> $GITHUB_ENV echo "REGISTRY=" >> $GITHUB_ENV
else else
@ -82,8 +82,8 @@ jobs:
run: | run: |
VERSION=$(python3 -c 'import versioneer; print(versioneer.get_version().replace("+", "-"))') VERSION=$(python3 -c 'import versioneer; print(versioneer.get_version().replace("+", "-"))')
TAGS="${{ env.REGISTRY }}jupyter/repo2docker:$VERSION" TAGS="${{ env.REGISTRY }}jupyter/repo2docker:$VERSION"
if [ "${{ github.ref }}" == "refs/heads/master" ]; then if [ "${{ github.ref }}" == "refs/heads/main" ]; then
TAGS="$TAGS,${{ env.REGISTRY }}jupyter/repo2docker:master" TAGS="$TAGS,${{ env.REGISTRY }}jupyter/repo2docker:main"
fi fi
echo "TAGS=$TAGS" echo "TAGS=$TAGS"
echo "TAGS=$TAGS" >> $GITHUB_ENV echo "TAGS=$TAGS" >> $GITHUB_ENV