source.yml

name: Update rcheckserver source

on:
  push:
  workflow_dispatch:
  schedule:
    - cron: "0 * * * *"

jobs:
  download:
    runs-on: ubuntu-latest
    container: debian:testing
    steps:
      - name: Download latest rcheckserver sources
        run: |
          apt-get update && \
          apt-get install -y curl && \
          echo "deb [trusted=yes]  http://statmath.wu.ac.at/AASC/debian testing main non-free" > /etc/apt/sources.list.d/rcheckserver.list && \
          apt-get -y update 
          apt download rcheckserver &&\
          dpkg -x rcheckserver*.deb files &&\
          gunzip files/usr/share/doc/rcheckserver/changelog.gz &&\
          cp -f files/usr/share/doc/rcheckserver/* . &&\
          dpkg --ctrl-tarfile rcheckserver*.deb | tar xv
      - uses: actions/upload-artifact@v4
        with:
          name: artifacts
          path: |
            control
            changelog
            copyright

  commit:
    needs: download
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4

      - uses: actions/download-artifact@v4
        with:
          name: artifacts
          path: artifacts

      - name: push
        if: success() && github.ref == 'refs/heads/main'
        run: |
          cp -f artifacts/* source/
          echo "pushing changes to github"
          git config --global user.email '121622595+jeroen[bot]@users.noreply.github.com'
          git config --global user.name  'Jeroen (via CI)'
          git add source
          git commit -m "Update at $(date)" || exit 0
          git push