Skip to content

Only comment about new commits if the PR is still open.#583

Open
Mariatta wants to merge 1 commit intopython:mainfrom
Mariatta:fix-new-commit-pushed
Open

Only comment about new commits if the PR is still open.#583
Mariatta wants to merge 1 commit intopython:mainfrom
Mariatta:fix-new-commit-pushed

Commits

Commits on Sep 8, 2023