Update app.py

app.py

@@ -5,7 +5,7 @@ import shutil
 import zipfile
 from github import Github
 from git import Repo
-import uuid
+from datetime import datetime
 
 def download_github_repo(url, local_path):
     if os.path.exists(local_path):
@@ -26,14 +26,14 @@ def create_repo(g, repo_name):
     user = g.get_user()
     return user.create_repo(repo_name)
 
-def delete_repo(g, repo_name):
-    repo = g.get_repo(repo_name)
-    repo.delete()
-
 def push_to_github(local_path, repo, github_token):
     repo_url = f"https://{github_token}@github.com/{repo.full_name}.git"
     repo = Repo(local_path)
-    origin = repo.create_remote('origin', repo_url)
+    if 'origin' in [remote.name for remote in repo.remotes]:
+        origin = repo.remote('origin')
+        origin.set_url(repo_url)
+    else:
+        origin = repo.create_remote('origin', repo_url)
     origin.push(refspec='{}:{}'.format('master', 'master'))
 
 def main():
@@ -73,19 +73,18 @@ def main():
 
         with st.spinner("Processing..."):
             try:
-                # Generate a unique local path
-                local_path = f"./temp_repo_{uuid.uuid4().hex}"
+                # Generate a date-stamped name
+                timestamp = datetime.now().strftime("%Y%m%d_%H%M%S")
+                new_repo_name = f"AIExample-Clone-{timestamp}"
+                local_path = f"./temp_repo_{timestamp}"
 
                 # Download the source repository
                 download_github_repo(source_repo, local_path)
 
                 # Create a zip file
-                zip_filename = f"repo_contents_{uuid.uuid4().hex}"
+                zip_filename = f"repo_contents_{timestamp}"
                 create_zip_file(local_path, zip_filename)
 
-                # Generate a unique repository name
-                new_repo_name = f"AIExample-Clone-{uuid.uuid4().hex[:8]}"
-
                 # Create the new repository
                 g = Github(github_token)
                 user = g.get_user()