[Clas12nim] git commits commands

[Maurizio Ungaro]

Dear all,

As we're approaching the submission of our papers traffic is getting heavy on the repository.
Can I ask you to do a

git pull

before doing the

git commit

(usually it's the other way around).

This would simplify the logs of the repo: currently every time you do a git pull, the merge will be
logged on the repo. Another advantage of doing the git pull before the commit is that you will never
be asked for merge confirmation.

Thanks,

Mauri

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.jlab.org/pipermail/clas12nim/attachments/20191204/65fa16bf/attachment.html>