chore(ci): make tag.sh accept optional tag name (default dev-test)

scripts/tag.sh

@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# Usage: ./tag.sh [TAG_NAME]
+# Par défaut, TAG_NAME="dev-test"
+
+TAG_NAME="${1:-dev-test}"
+
+cd /home/desk/code/4NK_dev
+
+DEV_HEAD=$(git rev-parse --verify refs/heads/dev)
+
+# Supprime le tag local/distant si déjà présent, puis recrée et pousse
+if git show-ref --tags --quiet --verify "refs/tags/${TAG_NAME}"; then
+  git tag -d "${TAG_NAME}" >/dev/null
+  git push origin ":refs/tags/${TAG_NAME}" >/dev/null || true
+fi
+
+git tag -a "${TAG_NAME}" -m "CI ${TAG_NAME} trigger" "${DEV_HEAD}"
+git push origin "refs/tags/${TAG_NAME}"