Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Migrate synchronization script to github actions #99

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Migrate synchronization script to github actions #99

wants to merge 4 commits into from

Commits on Aug 30, 2024

  1. Migrate synchronization script to github actions

    @tobil4sk
    tobil4sk committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    9aa9bb9 View commit details
    Browse the repository at this point in the history

  2. Schedule automated synchronization 

    At 1:00 UTC, this way the repository is kept synchronized with the wiki
even if no commits are being pushed.
    @tobil4sk
    tobil4sk committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    612186c View commit details
    Browse the repository at this point in the history

  3. Support running synchronization manually

    @tobil4sk
    tobil4sk committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    9a01d85 View commit details
    Browse the repository at this point in the history

  4. Run synchronization check on PRs 

    This will help catch PRs that might introduce merge conflicts.
    @tobil4sk
    tobil4sk committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    9d707ef View commit details
    Browse the repository at this point in the history