update.yaml

on:
  schedule:
    # Every day after globe_history has been uploaded
    - cron: '21 5 * * *'
  # But also on push
  push:
    branches:
      - main
jobs:
  update-db:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - name: Update database
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          set -ex
          # We are idempotent
          # We try not to exit with an error code
          # We push if the files have changed, otherwise we do not

          # Install dependencies
          sudo apt-get -y install python3-pip python3-dev
          pip3 install --no-cache-dir -r requirements.txt

          # Run the script that affects RELEASES.md and PREFERRED_RELEASES.txt
          python3 update-releases.py

          # Now we try adding them, if they have changed
          git config --global user.name "GitHub Actions"
          git config --global user.email "github-actions@adsb.lol"
          git add RELEASES.md PREFERRED_RELEASES.txt README.md ALL_RELEASES.txt
          # Have we actually changed anything?
          if ! git diff-index --quiet HEAD --; then
            # We have changed something, so we commit and push
            git commit -m "Update RELEASES.md and PREFERRED_RELEASES.txt"
            git push
          fi