Skip to content

Updated names for mergify#4

Merged
hugovk merged 1 commit into
hugovk:update-mergifyfrom
radarhere:update-mergify
Jan 4, 2022
Merged

Updated names for mergify#4
hugovk merged 1 commit into
hugovk:update-mergifyfrom
radarhere:update-mergify

Commits

Commits on Jan 3, 2022