fix: configure git email and name
Browse files
app.py
CHANGED
@@ -128,7 +128,7 @@ def add_certified_user(hf_username, first_name, last_name, certificate_type):
|
|
128 |
Add the certified user to the dataset and include their certificate PDF.
|
129 |
"""
|
130 |
print("ADD CERTIFIED USER")
|
131 |
-
repo = Repository(local_dir="data", clone_from=DATASET_REPO_URL)
|
132 |
repo.git_pull()
|
133 |
|
134 |
csv_full_path = os.path.join("data", CERTIFIED_USERS_FILENAME)
|
|
|
128 |
Add the certified user to the dataset and include their certificate PDF.
|
129 |
"""
|
130 |
print("ADD CERTIFIED USER")
|
131 |
+
repo = Repository(local_dir="data", clone_from=DATASET_REPO_URL, git_user="wseo", git_email="[email protected]")
|
132 |
repo.git_pull()
|
133 |
|
134 |
csv_full_path = os.path.join("data", CERTIFIED_USERS_FILENAME)
|