Extensions by mrVito

GitHub Move Agents Tab

🧩 More extensions

Moves the Agents navigation tab after the Actions tab in GitHub repository pages.