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: 29 September, 2023