Skip to content
Snippets Groups Projects

[CI] Fix .push_to_github mirror clone

Warning
Vincent Texier created pipeline for commit 8d65a8eb
, finished
For 0550
4 minutes 48 seconds, queued for 1 seconds