From 52132b992220f41ebd89f663b93bae810c1e9254 Mon Sep 17 00:00:00 2001
From: Mohamed Oueslati <moueslati-ext@kpler.com>
Date: Fri, 17 Jul 2026 11:14:44 +0200
Subject: [PATCH] feat: mirror github.com/Kpler/kp-pre-commit-hooks to
 maritimeais GHES on push to main

Adds .github/workflows/mirror-to-ghes.yml that pushes a full git mirror
to maritimeais.ghe.com/mais/kp-pre-commit-hooks on every push to main
(and on manual workflow_dispatch). Mirrors the approach used in
Kpler/github-actions#587: short-lived GitHub App installation token (no
PAT), bare clone + git push --mirror, instance-specific values as env
vars, and a concurrency group to serialize runs.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
---
 .github/workflows/mirror-to-ghes.yml | 63 ++++++++++++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 .github/workflows/mirror-to-ghes.yml

diff --git a/.github/workflows/mirror-to-ghes.yml b/.github/workflows/mirror-to-ghes.yml
new file mode 100644
index 0000000..77f7096
--- /dev/null
+++ b/.github/workflows/mirror-to-ghes.yml
@@ -0,0 +1,63 @@
+# mirror-to-ghes.yml
+#
+# Mirrors this repository (github.com/Kpler/kp-pre-commit-hooks) to the Maritime
+# AIS GitHub Enterprise Server instance on every push to main.
+#
+# Authentication uses a GitHub App installed on the GHES instance — no PAT.
+# A short-lived installation token is generated at runtime and used as the
+# remote credential, so no long-lived secret is embedded anywhere.
+#
+# Required repository secrets:
+#   GHES_APP_ID          – GitHub App ID (numeric)
+#   GHES_APP_PRIVATE_KEY – GitHub App private key (PEM format)
+
+name: mirror-to-ghes
+
+on:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+
+env:
+  GHES_HOST: maritimeais.ghe.com
+  GHES_API_URL: https://maritimeais.ghe.com/api/v3
+  GHES_ORG: mais
+  GHES_REPO: kp-pre-commit-hooks
+
+# Prevent concurrent mirror pushes from racing or corrupting history.
+concurrency:
+  group: mirror-to-ghes
+  cancel-in-progress: false
+
+jobs:
+  mirror:
+    name: Mirror to GHES
+    runs-on: ubuntu-24.04
+    permissions:
+      contents: read
+
+    steps:
+      - name: Generate GHES App installation token
+        id: app-token
+        uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
+        with:
+          app-id: ${{ secrets.GHES_APP_ID }}
+          private-key: ${{ secrets.GHES_APP_PRIVATE_KEY }}
+          owner: ${{ env.GHES_ORG }}
+          github-api-url: ${{ env.GHES_API_URL }}
+
+      # Bare clone so all refs land under refs/heads/* and refs/tags/* rather
+      # than refs/remotes/origin/*. git push --mirror then syncs every branch
+      # and tag correctly without manual ref translation.
+      - name: Bare-clone source and push mirror to GHES
+        run: |
+          git clone --bare \
+            "https://x-access-token:${GH_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" \
+            bare-repo
+          cd bare-repo
+          git push --mirror \
+            "https://x-access-token:${APP_TOKEN}@${GHES_HOST}/${GHES_ORG}/${GHES_REPO}.git"
+        env:
+          GH_TOKEN: ${{ github.token }}
+          APP_TOKEN: ${{ steps.app-token.outputs.token }}