Skip to content

Group Dependabot PRs - #16

Merged
hugovk merged 1 commit into
tox-dev:mainfrom
hugovk:grouped
Aug 27, 2025
Merged

Group Dependabot PRs#16
hugovk merged 1 commit into
tox-dev:mainfrom
hugovk:grouped

Conversation

@hugovk

@hugovk hugovk commented Aug 26, 2025

Copy link
Copy Markdown
Collaborator

So #14 and #15 would have been a single PR.

@hugovk
hugovk merged commit 534e69a into tox-dev:main Aug 27, 2025
2 checks passed
@hugovk
hugovk deleted the grouped branch August 27, 2025 12:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants