Patch updates (backport #795) by @scala-steward #796
Merged
Mergify / Rule: delete backport/copy branch (Mergify rule) (delete_head_branch)
completed
Oct 26, 2023 in 0s
Another delete_head_branch action already ran
Loading