Skip to content

ci: Have Mergify use a merge commit#3636

Merged
mslipper merged 2 commits intodevelopfrom
feat/mergify-merge
Oct 5, 2022
Merged

ci: Have Mergify use a merge commit#3636
mslipper merged 2 commits intodevelopfrom
feat/mergify-merge

Commits

Commits on Oct 3, 2022