yade-dev team mailing list archive

[Anton Gladky <gladky.anton@xxxxxxxxx>]

Hi all,

please, do "git pull" before commiting. Check, whether everything was
smoothly merged and then
commit and push. No conflicts should be pushed into the main branch.

Thanks,

Anton