### Summary [Bug] I dont see 'settings' for the repo introduction-to-codeql created the repo as 'public'
Summary
[Bug] I dont see 'settings' for the repo introduction-to-codeql
created the repo as 'public'