Going deeper

# Going deeper: GitHub teams

Going deeper: GitHub teams is a unit of 6 lessons in Rabbithole's Learn to use AI course, at levels 3 to 4.

## Lessons

1. Merge Queue: getting a pull request in, and why it gets taken out · Level 3
2. Stacked Pull Requests with gh stack · Level 4
3. Repository Rulesets · Level 3
4. GitHub Codespaces: open it, run it, keep usage low · Level 3
5. Semantic Code Search: Index Your Repo, Then Ask · Level 3
6. Agent Plugins: install, name and govern them · Level 3

## Sources

These lessons draw on 7 sources. The most used:

- [GitHub Docs — Pull Requests](https://docs.github.com/en/pull-requests)
- [GitHub Docs — Copilot](https://docs.github.com/en/copilot)
- [GitHub Docs — Repositories](https://docs.github.com/en/repositories)
- [GitHub Docs — Codespaces](https://docs.github.com/en/codespaces)
- [Devin documentation](https://docs.devin.ai/)
- [Antigravity CLI, IDE, SDK and customisation docs](https://antigravity.google/docs/cli/overview)
- [Claude Code Documentation](https://code.claude.com/docs/en/overview)

[All units in Learn to use AI](https://rabbithole.pro/courses/learn-ai)

Source page: https://rabbithole.pro/courses/learn-ai/going-deeper-github-teams