Newer
Older
RDLProofSystem / .github / workflows / push2lab.yml
name: Mirror to GitBucket

on:
  push:

jobs:
  mirror:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout
        uses: actions/checkout@v4
        with:
          fetch-depth: 0

      - name: Push to GitBucket
        env:
          GITBUCKET_REPO: ${{ secrets.GITBUCKET_REPO }}
          GITBUCKET_USER: ${{ secrets.GITBUCKET_USER }}
          GITBUCKET_TOKEN: ${{ secrets.GITBUCKET_TOKEN }}
        run: |
          git remote add gitbucket http://${GITBUCKET_USER}:${GITBUCKET_TOKEN}@${GITBUCKET_REPO}
          git push gitbucket --all