Skip to content
This repository was archived by the owner on Oct 10, 2023. It is now read-only.

Add workflow for automatically merging Steward's PRs.#334

Merged
houcros merged 1 commit intomasterfrom
automatic-merge-workflow
Dec 9, 2022
Merged

Add workflow for automatically merging Steward's PRs.#334
houcros merged 1 commit intomasterfrom
automatic-merge-workflow

Commits

Commits on Dec 9, 2022