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: 30 November, 2023