add commands to clean the local git tree, prior to pull changes from Salsa
add commands to clean the local git tree, prior to pull changes from Salsa's webwml repo - Thanks Boyuan Yang for the suggestion
add commands to clean the local git tree, prior to pull changes from Salsa's webwml repo - Thanks Boyuan Yang for the suggestion