fixup! [#8231] don't actually change the repo (web process might not have permission to, and this can get called from get_default_branch() automatically
1 file changed