mergeRetryCount

mergeRetryCount: undefined | number

number of times to retry pull/merge if other users are pushing at the same time. Default is 5

Defined in

• backend/src/BriefcaseManager.ts Line 49

Last Updated: 20 June, 2023