Compare commits

..

No commits in common. "641dd19b8de0de5108cfe00627d7c22ca51f1bf8" and "b8eda046dd659a923773ff3d84271ddede5ce322" have entirely different histories.

View file

@ -156,9 +156,6 @@ 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")
@ -350,7 +347,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 sorted(out) return out
def parse_speech(page): def parse_speech(page):