Bug/change email (#2)

* support sync with huggingface

* change email

.github/workflows/sync.yml

@@ -12,7 +12,7 @@ jobs:
     - uses: actions/checkout@v2
     - name: Push to Hugging Face Spaces
       run: |
-        git config --global user.email "1125027232@qq.com"
+        git config --global user.email "haofeiy@andrew.cmu.edu"
         git config --global user.name "lwaekfjlk"
         git remote add huggingface https://huggingface.co/spaces/your-username/your-space-name
         git push huggingface main --force