push_to_overleaf.yml

on:
    push:
        branches:
        - master
    workflow_dispatch:

permissions:
    contents: write
    pull-requests: write
    issues: write

name: "Push to overleaf"
jobs:
    update_sync_overleaf:
        runs-on: ubuntu-latest
        name: Update branch 'sync_overleaf'
        steps:
        - uses: actions/checkout@v4
          with:
            fetch-depth: '0'
        - name: Push to overleaf
          run: |
            git remote add origin_token https://git:${GITHUB_TOKEN}@github.com/columnflow/demo_docs.git

            git push origin_token HEAD:sync_overleaf
        env:
            OVERLEAF_TOKEN: ${{ secrets.OVERLEAF_TOKEN }}
            GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

    update_overleaf:
        runs-on: ubuntu-latest
        name: Update overleaf
        steps:
        - uses: actions/checkout@v4
          with:
            ref: sync_overleaf
            fetch-depth: '0'
        - name: Push to overleaf
          run: |
            git remote add overleaf https://git:${OVERLEAF_TOKEN}@git.overleaf.com/65df171af9ff7989580f017d

            git push overleaf HEAD:master
          env:
            OVERLEAF_TOKEN: ${{ secrets.OVERLEAF_TOKEN }}
            GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}