Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix and update broken mirror workflow:
- Update Ubuntu environment (18.04 is deprecated) - Update checkout action (Node.js 12 actions are deprecated) - Update mirror action (0.4.0 -> 0.6.0): this fixes the mirror workflow - Change fetch depth to 0: Default is 1, but with 0 we get all history for all branches and tags.
- Loading branch information