Synchronize pypi and github