I am using PySynergy project on Github and for Synergy to GIT migration. Has anyone tried migration, including the code tree?