Automatically merge PRs #46

Open

Open

Automatically merge PRs#46

Labels

good first issuehelp wanted

opened

on Apr 19, 2023

We should presumably run some suitable smoke test, then automatically merge the autoupdate PRs

Metadata

Assignees

No one assigned

Labels

good first issuehelp wanted

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests