Skip to content

Sync

Sync #876

Workflow file for this run

name: "Sync"
on:
workflow_dispatch:
schedule:
# Every day at 3:15 AM UTC
- cron: '15 3 * * *'
jobs:
sync:
name: "Get new GitHub release data"
if: ${{ github.repository == 'gap-system/GapWWW' }}
runs-on: ubuntu-latest
steps:
- name: "Check out the GapWWW repository in order to make changes to it"
uses: actions/checkout@v4
- name: "Clone GAP for its most up-to-date release scripts"
uses: actions/checkout@v4
with:
repository: gap-system/gap
ref: master
path: tmp/gap/
fetch-depth: 1
- uses: actions/setup-python@v5
with:
python-version: 3.9
- name: "Install the required Python modules"
run: pip3 install PyGithub requests python-dateutil
- name: "Run the GAP dev release script for updating the website"
run: python -u ./tmp/gap/dev/releases/update_website.py
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: "Remove GAP clone"
run: rm -rf ./tmp/gap
- name: "Make a pull request to the master branch of this repository"
uses: peter-evans/create-pull-request@v6
with:
base: master
branch: auto/sync-with-github-releases
commit-message: Sync data from GAP's GitHub release system
title: Sync data from GAP's GitHub release system
body: >-
Automatically created by a GitHub Actions workflow, using with the
GAP release script `dev/release/update_website.py`.
You may wish to squash and merge this pull request, in order
to give it a more descriptive commit message.