32 lines
1.2 KiB
YAML
32 lines
1.2 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.
|
|
- run: |
|
|
echo "DEBUG - github.ref is ${{ github.ref }}"
|
|
- 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 }}
|
|
|