fix: a concurrent push must not wedge a LocalResource forever (#16) - #17

fix: a concurrent push must not wedge a LocalResource forever (#16)#17

braghettos merged 1 commit into

mainkrateo-platformops/git-provider:mainfrom

fix/ref-contention-and-status-conflictkrateo-platformops/git-provider:fix/ref-contention-and-status-conflictCopy head branch name to clipboard