Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
@@ -19,18 +19,22 @@ make install
|
|
19 |
|
20 |
def pull_files_from_github_url(url):
|
21 |
import os
|
|
|
|
|
|
|
|
|
22 |
# Using GitPython library
|
23 |
-
from git import Repo
|
24 |
|
25 |
# Get the directory where the file will be downloaded
|
26 |
-
dir_name = os.path.basename(url).split('.')[0]
|
27 |
|
28 |
# Clone the repo
|
29 |
-
Repo.clone_from(url, dir_name)
|
30 |
|
31 |
# Get the list of files
|
32 |
-
repo = Repo(dir_name)
|
33 |
-
return [item.a_path for item in repo.tree.traverse()]
|
34 |
|
35 |
url = st.sidebar.text_input("GitHub URL")
|
36 |
url = 'https://github.com/AaronCWacker/Yggdrasil'
|
|
|
19 |
|
20 |
def pull_files_from_github_url(url):
|
21 |
import os
|
22 |
+
|
23 |
+
client = GitHubAPI()
|
24 |
+
client.get('/rate_limit')['resources']['core']
|
25 |
+
|
26 |
# Using GitPython library
|
27 |
+
# from git import Repo
|
28 |
|
29 |
# Get the directory where the file will be downloaded
|
30 |
+
# dir_name = os.path.basename(url).split('.')[0]
|
31 |
|
32 |
# Clone the repo
|
33 |
+
# Repo.clone_from(url, dir_name)
|
34 |
|
35 |
# Get the list of files
|
36 |
+
# repo = Repo(dir_name)
|
37 |
+
# return [item.a_path for item in repo.tree.traverse()]
|
38 |
|
39 |
url = st.sidebar.text_input("GitHub URL")
|
40 |
url = 'https://github.com/AaronCWacker/Yggdrasil'
|