tox.ini (docker): Record successful pushes in Dockertags.pushed

Author: Matthias Koeppe

tox.ini

@@ -784,7 +784,7 @@ commands =
     docker:            if [ x"{env:DOCKER_PUSH_REPOSITORY:}" != x -a x"$PUSH_TAGS" != x ]; then \
     docker:              echo Pushing $PUSH_TAGS; \
     docker:              for tag in $PUSH_TAGS; do \
-    docker:                docker push $tag || echo "(ignoring errors)"; \
+    docker:                if docker push $tag; then echo $tag >> {envdir}/Dockertags.pushed; else echo "(ignoring errors)"; fi; \
     docker:              done; \
     docker:            fi; \
     docker:            if [ x"$BUILD_TAG" != x ]; then \