Skip to content

chore: drop dead Stickler config and unresolvable RTD extras#114

Merged
arght merged 1 commit into
masterfrom
chore/repo-hygiene
May 5, 2026
Merged

chore: drop dead Stickler config and unresolvable RTD extras#114
arght merged 1 commit into
masterfrom
chore/repo-hygiene

Conversation

@erikfilias
Copy link
Copy Markdown
Contributor

  • Remove .stickler.yml: the Stickler CI service is defunct.
  • Drop extra_requirements: [build, docs] from .readthedocs.yaml. The legacy flit metadata in pyproject.toml does not declare these extras, so the line silently resolved to nothing. Docs deps continue to come from doc/md/requirements.txt, which is unchanged.

- Remove .stickler.yml: the Stickler CI service is defunct.
- Drop extra_requirements: [build, docs] from .readthedocs.yaml. The
  legacy flit metadata in pyproject.toml does not declare these extras,
  so the line silently resolved to nothing. Docs deps continue to come
  from doc/md/requirements.txt, which is unchanged.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@erikfilias erikfilias requested a review from arght May 5, 2026 16:34
@erikfilias erikfilias self-assigned this May 5, 2026
@erikfilias erikfilias added the enhancement New feature or request label May 5, 2026
@arght arght merged commit 3617648 into master May 5, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants