Skip to content
Snippets Groups Projects

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

Passed
Vincent Texier created pipeline for commit ab66bb53
, finished
For dev
4 minutes 14 seconds, queued for 2 seconds