From 79ce07ed290165e839f528fb7571c59900738b44 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Fri, 21 Jan 2022 14:49:30 +0100
Subject: [PATCH] refactor: Remove unneeded `hooks/` directory (#465)

(which was used by Docker Hub automated builds, but we now use GitHub Actions).
---
 hooks/build         | 47 ---------------------------------------------
 hooks/post_checkout |  8 --------
 hooks/post_push     | 28 ---------------------------
 3 files changed, 83 deletions(-)
 delete mode 100644 hooks/build
 delete mode 100755 hooks/post_checkout
 delete mode 100755 hooks/post_push

diff --git a/hooks/build b/hooks/build
deleted file mode 100644
index 55fee424a..000000000
--- a/hooks/build
+++ /dev/null
@@ -1,47 +0,0 @@
-#!/bin/bash
-# href: https://docs.docker.com/docker-hub/builds/advanced/#environment-variables-for-building-and-testing
-# href: https://microbadger.com/labels
-
-set -e
-
-echo "### Building with custom build arguments"
-
-die() {
-    echo >&2 "### ERROR: $*"
-    exit 1
-}
-
-echo "DOCKERFILE_PATH: ${DOCKERFILE_PATH}"
-echo "DOCKER_TAG: ${DOCKER_TAG}"
-echo "IMAGE_NAME: ${IMAGE_NAME}"
-echo "SOURCE_BRANCH: ${SOURCE_BRANCH}"
-echo "SOURCE_COMMIT: ${SOURCE_COMMIT}"
-
-# SOURCE_COMMIT is already provided:
-# No need for VCS_REF=$(git rev-parse --short HEAD)
-
-VCS_REF="${SOURCE_COMMIT:0:7}"
-[ $? -eq 0 ] || die "The substitution failed."
-echo "VCS_REF: ${VCS_REF}"
-
-
-BUILD_DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ") || die "The date command failed."
-echo "BUILD_DATE: ${BUILD_DATE}"
-
-echo "### Building learn-ocaml image"
-
-docker build --pull --rm --force-rm \
-  --build-arg=BUILD_DATE="${BUILD_DATE}" \
-  --build-arg=VCS_BRANCH="${SOURCE_BRANCH}" \
-  --build-arg=VCS_REF="${VCS_REF}" \
-  --target program \
-  -f "${DOCKERFILE_PATH}" -t "${IMAGE_NAME}" .
-
-echo "### Building learn-ocaml-client image"
-
-exec docker build --pull --rm --force-rm \
-  --build-arg=BUILD_DATE="${BUILD_DATE}" \
-  --build-arg=VCS_BRANCH="${SOURCE_BRANCH}" \
-  --build-arg=VCS_REF="${VCS_REF}" \
-  --target client \
-  -f "${DOCKERFILE_PATH}" -t "${DOCKER_REPO}-client:${DOCKER_TAG}" .
diff --git a/hooks/post_checkout b/hooks/post_checkout
deleted file mode 100755
index c33e666be..000000000
--- a/hooks/post_checkout
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-# href: https://docs.docker.com/docker-cloud/builds/advanced/
-# href: https://stackoverflow.com/a/17937889/9164010
-
-echo "### Unshallowing the git repo to get all remote branches"
-git fetch --unshallow --quiet || true
-git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
-git fetch --quiet origin
diff --git a/hooks/post_push b/hooks/post_push
deleted file mode 100755
index c538d3ebe..000000000
--- a/hooks/post_push
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/bash
-# href: https://docs.docker.com/docker-cloud/builds/advanced/
-
-set -e
-
-echo "### Pushing learn-ocaml-client image"
-
-docker push "${DOCKER_REPO}-client:${DOCKER_TAG}"
-
-echo "### Listing remote tags:"
-git for-each-ref --format "%(refname:strip=2)" refs/tags/
-
-latest=$(git for-each-ref --format "%(refname:strip=2)" refs/tags/ \
-  | sort -V | tail -n1)
-
-echo "### Latest tag is: $latest"
-
-if [ "$SOURCE_BRANCH" = "$latest" ]; then
-    echo "### Do additional docker push (${DOCKER_REPO}:latest)"
-    docker tag "${IMAGE_NAME}" "${DOCKER_REPO}:latest"
-    docker push "${DOCKER_REPO}:latest"
-
-    echo "### Do additional docker push (${DOCKER_REPO}-client:latest)"
-    docker tag "${DOCKER_REPO}-client:${DOCKER_TAG}" "${DOCKER_REPO}-client:latest"
-    docker push "${DOCKER_REPO}-client:latest"
-else
-    echo "### no additional docker push"
-fi