Skip to content

Merge pull request #117 from rapidsurveys/dev #2

Merge pull request #117 from rapidsurveys/dev

Merge pull request #117 from rapidsurveys/dev #2

name: Mirror to other git server
on:
push:
branches:
- main
tags:
- "*"
jobs:
mirror:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- uses: yesolutions/mirror-action@master
with:
REMOTE: https://codeberg.org/rapidsurveys/oldr
GIT_USERNAME: ${{ secrets.CODEBERG_USERNAME }}
GIT_PASSWORD: ${{ secrets.CODEBERG_TOKEN }}