name: Sync README to GitHub on: push: branches: [main] paths: - 'README.md' - '.gitea/workflows/sync-readme.yml' - '.gitea/notice.md' jobs: sync: runs-on: github-readme-sync steps: - uses: actions/checkout@v4 - name: Build the combined README run: | cat README.md > combined.md printf '\n\n' >> combined.md cat .gitea/notice.md >> combined.md - name: Push to the GitHub mirror env: GH_TOKEN: ${{ secrets.GH_MIRROR_TOKEN }} run: | git clone --depth 1 \ "https://x-access-token:${GH_TOKEN}@github.com/scienting/coursebank.git" ghmirror cp combined.md ghmirror/README.md cd ghmirror git config user.name "Alex Maldonado" git config user.email "alexm@scient.ing" git add README.md git diff --cached --quiet || git commit -m "Sync README from Gitea" git push