Fix Maven settings repos lost when context repos set independently#7208

Jenson3210 wants to merge 1 commit intomainopenrewrite/rewrite:mainfrom

Jenson3210/maven-download-failureopenrewrite/rewrite:Jenson3210/maven-download-failureCopy head branch name to clipboard