[Scmwebeditor-commits] 01/01: Make a git clone when a git pull fails