fix: retry repository ref updates after concurrent pushes - #3245

fix: retry repository ref updates after concurrent pushes#3245

lorenzozanee wants to merge 1 commit into

github:maingithub/github-mcp-server:mainfrom

lorenzozanee:fix/retry-concurrent-ref-updateslorenzozanee/github-mcp-server:fix/retry-concurrent-ref-updatesCopy head branch name to clipboard