Add public skills + improve repo skill discovery and error UX#8098

xl-openai merged 3 commits intomainopenai/codex:mainfrom

xl/skillsopenai/codex:xl/skillsCopy head branch name to clipboard