fix(extensions): avoid duplicate .git suffix in GitHub shorthand - #4524

onatozmenn wants to merge 1 commit into

fix(extensions): avoid duplicate .git suffix in GitHub shorthand#4524
onatozmenn wants to merge 1 commit into
OpenHands:mainfrom
onatozmenn:fix/github-shorthand-git-suffix

fix(extensions): avoid duplicate git suffix