PR #133 ci: submit PR instead of pushing version bump

ci: submit PR instead of pushing version bump #133

roedoejet merged 1 commit into master from dev.ci-version-bump

ci: submit PR instead of pushing version bump

6f181a72

joanise requested a review from

roedoejet 2 years ago

roedoejet approved these changes on 2022-12-07

roedoejet merged 607ebd93 into master 1 year ago

roedoejet deleted the dev.ci-version-bump branch 1 year ago

Reviewers

roedoejet

Assignees

No one assigned

Labels

None yet

Milestone

No milestone