Sync open source content 🐝 (from 79f36794350fa4e9add8ddf99ac7b0650031… #48
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Sync Public → Private | |
on: | |
push: | |
branches: | |
- main | |
paths: | |
- "api-design/**" | |
- "docs/**" | |
- "guides/**" | |
- "mcp/**" | |
- "openapi/**" | |
env: | |
SYNC_REPO: ${{ secrets.SYNC_REPO }} | |
BRANCH: main | |
SYNC_DIRS: "api-design docs guides mcp openapi" | |
jobs: | |
sync: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout public repo | |
uses: actions/checkout@v4 | |
with: | |
fetch-depth: 0 | |
- name: Clone private repo | |
env: | |
TOKEN: ${{ secrets.SERVICE_BOT_TOKEN }} | |
run: | | |
git clone https://x-access-token:${TOKEN}@github.com/${SYNC_REPO}.git private-repo | |
- name: Sync public folders into private repo content paths | |
run: | | |
set -euo pipefail | |
for dir in $SYNC_DIRS; do | |
src_dir="$dir" | |
dest_dir="private-repo/src/content/$dir" | |
if [ -d "$src_dir" ]; then | |
echo "Syncing $src_dir → $dest_dir" | |
rsync -a --delete "$src_dir/" "$dest_dir/" | |
else | |
echo "Warning: $src_dir does not exist, skipping..." | |
fi | |
done | |
- name: Commit and push changes to private repo | |
run: | | |
set -euo pipefail | |
cd private-repo | |
git config user.name "Beezy the bot" | |
git config user.email "[email protected]" | |
git add . | |
if git diff --cached --quiet; then | |
echo "No changes to sync" | |
echo "Nothing synced." >> $GITHUB_STEP_SUMMARY | |
exit 0 | |
fi | |
git commit -m "Sync open source content 🐝 (from $GITHUB_SHA)" | |
if ! git push origin ${BRANCH}; then | |
echo "❌ Push to private repo failed!" >> $GITHUB_STEP_SUMMARY | |
echo "Please check for conflicts or access issues." >> $GITHUB_STEP_SUMMARY | |
exit 1 | |
fi | |
COMMIT_SHA=$(git rev-parse HEAD) | |
echo "### ✅ Synced content to private repo at \`$(date)\`" >> $GITHUB_STEP_SUMMARY | |
echo "" >> $GITHUB_STEP_SUMMARY | |
echo "**Commit SHA:** \`${COMMIT_SHA}\`" >> $GITHUB_STEP_SUMMARY | |
echo "" >> $GITHUB_STEP_SUMMARY | |
echo "**Grouped file changes:**" >> $GITHUB_STEP_SUMMARY | |
git diff --cached --name-status | awk ' | |
{ | |
split($2, parts, "/"); | |
folder = parts[1]; | |
if (current != folder) { | |
if (current != "") print "" >> ENVIRON["GITHUB_STEP_SUMMARY"]; | |
print "#### `" folder "/`" >> ENVIRON["GITHUB_STEP_SUMMARY"]; | |
current = folder; | |
} | |
print $0 >> ENVIRON["GITHUB_STEP_SUMMARY"]; | |
} | |
' |