mirror
/
repo2docker
kopia lustrzana https://github.com/jupyterhub/repo2docker
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Merge pull request #562 from minrk/docker-tag 

fix docker commit tag
pull/567/head
Min RK 2019-01-22 10:19:32 +01:00 zatwierdzone przez GitHub
rodzic ba531027bd a3c7f3213b
commit ff894f4404
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

2
hooks/post_push
Wyświetl plik

@ -2,6 +2,6 @@
# when building jupyter/repo2docker:master also push jupyter/repo2docker:abcd1234
HASH_IMAGE="$DOCKER_REPO:${SOURCE_COMMIT: -8}"
HASH_IMAGE="$DOCKER_REPO:${SOURCE_COMMIT:0:8}"
docker tag $DOCKER_REPO:$DOCKER_TAG $HASH_IMAGE
docker push $HASH_IMAGE