Skip to content

Revert 5844d84354d3f1a391b0b4b87fb648229d040d5b (wrong repo) #22

Revert 5844d84354d3f1a391b0b4b87fb648229d040d5b (wrong repo)

Revert 5844d84354d3f1a391b0b4b87fb648229d040d5b (wrong repo) #22

name: Sync changes to GitLab
on:
push:
branches: [master]
permissions:
contents: read
jobs:
build:
if: (github.repository == 'awesome-scripts/awesome-userscripts')
runs-on: ubuntu-latest
env:
TZ: PST8PDT
steps:
- name: Checkout awesome-scripts/awesome-userscripts
uses: actions/checkout@v5
with:
fetch-depth: 0
- name: Push changes to gitlab.com/awesome-scripts/awesome-userscripts
run: |
git push --force -o ci.skip \
https://oauth2:${{ secrets.GITLAB_SYNC_PAT }}@gitlab.com/awesome-scripts/awesome-userscripts.git master