diff options
| author | 6543 <6543@obermui.de> | 2022-05-04 18:06:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-04 18:06:23 +0200 |
| commit | f034ee6cf0ab0806ef0b8edb5f38e6a5c37f2f7c (patch) | |
| tree | 1aad4175bafd7907895c38c1e163220e2692f201 /docs/content | |
| parent | e933f314268e41477c85e44a255667c02b19f231 (diff) | |
| download | gitea-f034ee6cf0ab0806ef0b8edb5f38e6a5c37f2f7c.tar.gz gitea-f034ee6cf0ab0806ef0b8edb5f38e6a5c37f2f7c.zip | |
PullService lock via pullID (#19520)
* lock pull on git&db actions ...
* add TODO notes
* rename prQueue 2 prPatchCheckerQueue
* fmt
Diffstat (limited to 'docs/content')
0 files changed, 0 insertions, 0 deletions