Jack Jackson 892a62f4e5 Add first PR check (#1)
To be followed by tests and `npm run build`, obviously!

Reviewed-on: #1
Co-authored-by: Jack Jackson <scubbojj@gmail.com>
Co-committed-by: Jack Jackson <scubbojj@gmail.com>
2025-03-03 23:00:04 +00:00

30 lines
1.1 KiB
YAML

# I Am A Strange Loop
name: Mirror to GitHub
run-name: Mirror to GitHub
on:
push:
branches:
- main
jobs:
build-and-push:
runs-on: ubuntu-latest
steps:
# If I were going to make this as a template, I'd instead use the `${{ github.[...] }} context to determin owner
# and name directly from the context.
# I'm leaving that off because it'd require a whole other step (to pipe `github.repository` through a splitting
# tool, because there's only `github.repository_owner`, no `github.repository_name`)
#
# (And the token should be retrieved from Vault)
# Using `github.ref` just in case there's any race condition ambiguity.
- uses: https://gitea.scubbo.org/scubbo/commit-report-sync@${{ github.ref}}
with:
target_repo_domain: github.com
target_repo_owner: scubbo
target_repo_name: gitea-commit-mirror
source_repo_domain: gitea.scubbo.org
source_repo_owner: scubbo
source_repo_name: commit-report-sync
token_for_target_repo: ${{ secrets.PAT_FOR_GITHUB_SYNC }}