Merge pull request #102 from DenisValeev/codex/create-github-actions-for-pr-merge

Author: DenisValeev

.github/workflows/update-offline-manifest.yml

@@ -0,0 +1,42 @@
+name: Refresh offline manifest
+
+on:
+  pull_request:
+    types:
+      - closed
+
+permissions:
+  contents: write
+
+jobs:
+  update-offline-manifest:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.base.ref }}
+          fetch-depth: 0
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: 20
+
+      - name: Generate offline manifest
+        env:
+          GITHUB_SHA: ${{ github.event.pull_request.merge_commit_sha || github.event.pull_request.head.sha }}
+        run: node tools/generate-offline-manifest.js
+
+      - name: Commit offline manifest update
+        run: |
+          if git diff --quiet -- offline-manifest.json; then
+            echo "No offline manifest changes to commit."
+            exit 0
+          fi
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git add offline-manifest.json
+          git commit -m "chore: refresh offline manifest for #${{ github.event.pull_request.number }}"
+          git push origin HEAD:${{ github.event.pull_request.base.ref }}