Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Extend mirror workflow to also mirror in major branches (#208)
* Refs #20893: Extend mirror workflow to also mirror in major branches Signed-off-by: eduponz <[email protected]> * Refs #20893: Apply Miguel's suggestion Signed-off-by: eduponz <[email protected]> --------- Signed-off-by: eduponz <[email protected]>
- Loading branch information
