Docstrings kill github review. #108

Open

opened

on Aug 10, 2026

If you have started a review then you add docstrings to the current branch, the HEAD changes when the docstrings come back and the pr-review aborts as the head changed.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests