fix-github-settings
Fix longstanding broken GH settings 1 week ago