Hi, > That's not a big issue (everybody familiar with git will know "commit" > is needed - or even won't notice that you don't mention it [1]). > Nevertheless, it would be nice to explicitely mention git commit ;-) thank you, Christian, I will add that! U.