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

Differentiate between push and pull mirror sync in progress #27390

Merged
merged 4 commits into from
Oct 2, 2023
Merged

Differentiate between push and pull mirror sync in progress #27390

merged 4 commits into from
Oct 2, 2023

Commits on Oct 2, 2023

  1. Differentiate between push and pull mirror sync in progress 

    Previously, if you had both a push and a pull mirror, the message did
not clarify if you've accidentally synchronized the wrong one.
Additionally fix two typos that were encountered while debugging.
    @delvh
    delvh committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    5bac3d6 View commit details
    Browse the repository at this point in the history

  2. Update texts as per @lunny

    @delvh
    delvh committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    175794d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into better-synchronization-text

    @delvh
    delvh committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    256c082 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into better-synchronization-text

    @GiteaBot
    GiteaBot committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    4310c0b View commit details
    Browse the repository at this point in the history