get rid of repeatedly saving in synctable -- just do it once
get rid of repeatedly saving in synctable -- just do it once

DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc