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

PullService lock via pullID #19520

Merged
merged 6 commits into from
May 4, 2022
Merged

PullService lock via pullID #19520

merged 6 commits into from
May 4, 2022

Commits on Apr 26, 2022

  1. lock pull on git&db actions ...

    @6543
    6543 committed Apr 26, 2022
    Configuration menu
    Copy the full SHA
    e6b7918 View commit details
    Browse the repository at this point in the history

  2. add TODO notes

    @6543
    6543 committed Apr 26, 2022
    Configuration menu
    Copy the full SHA
    29319c4 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2022

  1. rename prQueue 2 prPatchCheckerQueue

    @6543
    6543 committed Apr 27, 2022
    Configuration menu
    Copy the full SHA
    446b79e View commit details
    Browse the repository at this point in the history

Commits on May 3, 2022

  1. Merge branch 'main' into pull_service-lock-per-pull

    @6543
    6543 committed May 3, 2022
    Configuration menu
    Copy the full SHA
    a532b44 View commit details
    Browse the repository at this point in the history

  2. fmt

    @6543
    6543 committed May 3, 2022
    Configuration menu
    Copy the full SHA
    1d07b56 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2022

  1. Merge branch 'main' into pull_service-lock-per-pull

    @6543
    6543 committed May 4, 2022
    Configuration menu
    Copy the full SHA
    eb104e0 View commit details
    Browse the repository at this point in the history