Skip to content

chore: switch back to main differint branch #146

chore: switch back to main differint branch

chore: switch back to main differint branch #146

Workflow file for this run

name: Gitlab Mirror
on:
push:
branches: [ main ]
jobs:
autopush:
name: Automatic Push to gitlab.dev.info.uvt.ro
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Main Script
run: |
mkdir ~/.ssh
echo -e 'Host gitlab.dev.info.uvt.ro\n\tStrictHostKeyChecking no\n' >> ~/.ssh/config
eval $(ssh-agent)
echo "${GITLAB_DEV_INFO_AUTOPUSH_KEY}" | ssh-add -
git fetch --unshallow
git push "git@gitlab.dev.info.uvt.ro:alexandru.fikl/$(basename $GITHUB_REPOSITORY).git" main
env:
GITLAB_DEV_INFO_AUTOPUSH_KEY: ${{ secrets.GITLAB_DEV_INFO_AUTOPUSH_KEY }}
# vim: set ts=2 sw=2 et: