Skip to content
Snippets Groups Projects

[CI] Fix .push_to_github to remove all files in repo

Warning
Vincent Texier created pipeline for commit ba3394de
, finished
For 0550
5 minutes 4 seconds, queued for 3 seconds