diff options
Diffstat (limited to '.gitea/workflows')
| -rw-r--r-- | .gitea/workflows/mirror.yml | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/.gitea/workflows/mirror.yml b/.gitea/workflows/mirror.yml new file mode 100644 index 0000000..901dc86 --- /dev/null +++ b/.gitea/workflows/mirror.yml @@ -0,0 +1,44 @@ +name: Mirror repository +on: + push: + branches: + - master + schedule: + - cron: '0 */6 * * *' + workflow_dispatch: {} +jobs: + build: + if: github.ref == 'refs/heads/master' + runs-on: ubuntu-latest + container: + image: gitea.segundo.io/docker/ci-base:latest + credentials: + username: "${GITEA_REGISTRY_TOKEN}" + password: "${GITEA_REGISTRY_USER}" + steps: + + - uses: actions/checkout@v5 + with: + fetch-depth: 0 + fetch-tags: true + + - name: Set up SSH + run: | + mkdir ~/.ssh + echo $GIT_SEGUNDO_IO_SSH_KEY_PUB > ~/.ssh/id_rsa.pub + echo $GIT_SEGUNDO_IO_SSH_KEY_PRIV | base64 -d > ~/.ssh/id_rsa + chmod 600 ~/.ssh/id_rsa* + ssh-keyscan git.segundo.io >> ~/.ssh/known_hosts + + - name: Set up Git + run: | + git config --global user.name "gitea" + git config --global user.email "gitea@segundo.io" + git remote add mirror git@git.segundo.io:docker/languagetool + + - name: Mirror to git.segundo.io + run: | + git checkout master + git checkout wiki + git push --mirror mirror + git push mirror --tags |