Skip to content

Fix org settings navigation: 'Repository defaults' is now 'General' - #46023

Closed
Zain-Bin-Arshad wants to merge 1 commit into
github:mainfrom
Zain-Bin-Arshad:patch-1
Closed

Zain-Bin-Arshad wants to merge 1 commit into
github:mainfrom
Zain-Bin-Arshad:patch-1

Update and rename repository-defaults.md to repository-general.md

db00810
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Label spammy PRs and reject non-main targets
succeeded Sep 23, 2026 in 11s