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

Machine updates #184

Merged
merged 8 commits into from
Oct 20, 2023
Merged

Machine updates #184

merged 8 commits into from
Oct 20, 2023

Commits on Oct 19, 2023

  1. user comments

    @jannisborn
    jannisborn committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    38feb9d View commit details
    Browse the repository at this point in the history

  2. user comments

    @jannisborn
    jannisborn committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    7e63b8a View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. Updates from website (server_locations)

    @jannisborn
    jannisborn committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    367bff5 View commit details
    Browse the repository at this point in the history

  2. readd changes after they were destroyed by cron job

    @NinaWie
    NinaWie committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    828a094 View commit details
    Browse the repository at this point in the history

  3. Updates from website (server_locations)

    @jannisborn
    jannisborn committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    b74737c View commit details
    Browse the repository at this point in the history

  4. hot fix for problem that old server_location outputs are pushed to git

    @NinaWie
    NinaWie committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    eba65cb View commit details
    Browse the repository at this point in the history

  5. clean up paths

    @NinaWie
    NinaWie committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    d59fd13 View commit details
    Browse the repository at this point in the history

  6. Update server_locations.json

    @jannisborn
    jannisborn authored Oct 20, 2023
    Configuration menu
    Copy the full SHA
    cf3663c View commit details
    Browse the repository at this point in the history