Compare commits

...

2 commits

Author SHA1 Message Date
641dd19b8d only commit if there are changes 2025-11-20 11:04:06 +01:00
21d968fbac sort functions 2025-11-20 10:56:30 +01:00

View file

@ -156,6 +156,9 @@ def main():
if args.no_git: if args.no_git:
return return
if repo.git.diff(name_only=True) == "":
return
repo.git.add("*") repo.git.add("*")
repo.index.commit(datetime.now().strftime("%Y-%m-%d %H:%M:%S")) repo.index.commit(datetime.now().strftime("%Y-%m-%d %H:%M:%S"))
origin = repo.remote(name="origin") origin = repo.remote(name="origin")
@ -347,7 +350,7 @@ def get_functions(elem):
if grandchild.text.strip() != "" if grandchild.text.strip() != ""
) )
out.append((current_heading, sorted(current_body))) out.append((current_heading, sorted(current_body)))
return out return sorted(out)
def parse_speech(page): def parse_speech(page):