From 27896a6bb74983b746be418bc7e960f875dc34fa Mon Sep 17 00:00:00 2001 From: Aaruni Kaushik Date: Wed, 27 Nov 2024 17:03:40 +0100 Subject: [PATCH] Make the python scrip run over all the repos again --- etc/update-contributors.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/etc/update-contributors.py b/etc/update-contributors.py index 4d0a3a3..1329216 100755 --- a/etc/update-contributors.py +++ b/etc/update-contributors.py @@ -22,9 +22,9 @@ def write_line_break(self, data=None): with open(infile, "r") as ymlfile: peopleList = yaml.safe_load(ymlfile) names = [i['github'] for i in peopleList] -repoList = ["thofma/Hecke.jl"]#, "oscar-system/Oscar.jl", "Nemocas/Nemo.jl", - #"Nemocas/AbstractAlgebra.jl", "oscar-system/GAP.jl", "oscar-system/Polymake.jl", - #"oscar-system/Singular.jl"] +repoList = ["thofma/Hecke.jl", "oscar-system/Oscar.jl", "Nemocas/Nemo.jl", + "Nemocas/AbstractAlgebra.jl", "oscar-system/GAP.jl", "oscar-system/Polymake.jl", + "oscar-system/Singular.jl"] newList = [] namelist = [] @@ -33,7 +33,7 @@ def write_line_break(self, data=None): API_KEY = os.getenv("API_KEY") # TODO: rename to whatever is the right env var summarystring = "This PR updates the contributors list based on the latest changes.\n" # grab currently active devs -if not os.path.isdir("repos"): #bla a a +if not os.path.isdir("repos"): os.mkdir("repos") os.chdir("repos") for repo in repoList: