Skip to content

Add debian repo to index and services #5

Add debian repo to index and services

Add debian repo to index and services #5

Workflow file for this run

name: Mirror to ARFNET
on: [push]
jobs:
push-mirror:
runs-on: ubuntu-latest
steps:
- name: Clone repo
run: git clone https://github.com/ARF20NET/arfnet2-web
- name: Push to remote repo
run: cd arfnet2-web && git push -u https://${{secrets.MIRROR_USER}}:${{secrets.MIRROR_PASSWORD}}@git.arf20.com/arfnet2-web master