Fix GitHub token issue

app.py

@@ -27,11 +27,12 @@ def upload_directory_to_hf(
     repo_id: str,
     directory: str,
     hf_token: str,
-    private: bool = False,
+    oauth_token: gr.OAuthToken | None = None,
 ):
+    private = False
     url = create_repo(
         repo_id,
-        token=hf_token,
+        token=oauth_token.token,
         exist_ok=True,
         repo_type="dataset",
         private=private,
@@ -42,7 +43,7 @@ def upload_directory_to_hf(
         path_in_repo="data",
         repo_id=repo_id,
         repo_type="dataset",
-        token=hf_token,
+        token=hf_token.token,
         commit_message="Migrated from GitHub",
         ignore_patterns=[
             "*.git*",
@@ -57,11 +58,7 @@ def push_to_hf(
     source_github_repository,
     destination_hf_hub_repository,
     subdirectory,
-    hf_token: gr.OAuthToken,
 ):
-    if not hf_token:
-        raise gr.Error("You need to login to use this Space")
-    token = hf_token.token
     gr.Info("Cloning source GitHub repository...")
     repo, temporary_directory = clone_into_temp_dir(source_github_repository)
     gr.Info("Cloning source GitHub repository...Done")
@@ -73,7 +70,6 @@ def push_to_hf(
     upload_directory_to_hf(
         repo_id=destination_hf_hub_repository,
         directory=src_directory,
-        hf_token=token,
         private=False,
     )
     gr.Info("Syncing with Hugging Face Hub...Done")