CVS-git migration: differences between CVS and git for PKP devs