Manager: added opportunity to call DropPendingUpdates/StopResync before a resync

This commit is contained in:
Wizou 2024-07-30 01:50:26 +02:00
parent 9712233c00
commit 8654f99d2b
3 changed files with 16 additions and 1 deletions

2
.github/dev.yml vendored
View file

@ -1,7 +1,7 @@
pr: none
trigger: [ master ]
name: 4.1.5-dev.$(Rev:r)
name: 4.1.6-dev.$(Rev:r)
pool:
vmImage: ubuntu-latest