Skip to content

Merge pull request #6 from josh-wong/add-tags-to-docs #5

Merge pull request #6 from josh-wong/add-tags-to-docs

Merge pull request #6 from josh-wong/add-tags-to-docs #5

Workflow file for this run

# Workflow for syncing docs from this repository to the `josh-wong/josh-wong.github.io` repository
name: 🔄 Sync versioned docs to my personal site repo
on:
push:
branches:
- "main"
paths:
- docs/**
workflow_dispatch:
# schedule:
# - cron: '0 1 * * 1,4' # Run at 1:00 AM Universal Time Coordinated (UTC) / 10:00 AM Japan Standard Time (JST) on Mondays and Thursdays.
jobs:
docs-sync:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Push updated contents in the `docs` folder to the `josh-wong/josh-wong.github.io` repo
uses: dmnemec/copy_file_to_another_repo_action@main
env:
API_TOKEN_GITHUB: ${{ secrets.SYNC_DOCS_PAT }}
with:
source_file: "docs/"
destination_repo: "josh-wong/josh-wong.github.io"
destination_folder: docs/portfolio/personal/passgen/
destination_branch_create: "passgen/update-docs"
user_name: "josh-wong"
user_email: "joshuarwong@gmail.com"
commit_message: "AUTO: Sync passGen docs to personal site"
use_rsync: rsync -avh