Skip to content

Add repo badges, LICENSE, and polish - #10

Merged
leandro-mana merged 1 commit into
mainfrom
feature/repo-polish
Feb 20, 2026
Merged

Add repo badges, LICENSE, and polish#10
leandro-mana merged 1 commit into
mainfrom
feature/repo-polish

Conversation

@leandro-mana

Copy link
Copy Markdown
Owner

Summary

  • Add status badges to README: CI, Python 3.12+, Ruff, mypy, MIT License, 123 Notebooks, 467 Tests
  • Add MIT LICENSE file
  • Set repo topics: python, learning, jupyter-notebooks, education, python3, pytest, type-hints, tutorials
  • Add custom issue/PR labels: chapter, notebooks, tests, ci/cd, refactor, tooling, dependencies
  • Retroactively labeled all 9 merged PRs
  • Cleaned up all stale remote feature branches

Test plan

  • Badge URLs are valid and render correctly
  • LICENSE file follows MIT template
  • No code changes — cosmetic/metadata only

🤖 Generated with Claude Code

- Add CI, Python, Ruff, mypy, License, Notebooks, and Tests badges to README
- Add MIT LICENSE file
- Repo topics set: python, learning, jupyter-notebooks, education, etc.
- Custom labels added: chapter, notebooks, tests, ci/cd, refactor, tooling, dependencies
- All PRs retroactively labeled

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@leandro-mana leandro-mana added documentation Improvements or additions to documentation tooling Build tools, linting, formatting labels Feb 20, 2026
@leandro-mana
leandro-mana merged commit 07be5bd into main Feb 20, 2026
6 checks passed
@leandro-mana
leandro-mana deleted the feature/repo-polish branch February 21, 2026 21:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation tooling Build tools, linting, formatting

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant