Compare commits
No commits in common. "641dd19b8de0de5108cfe00627d7c22ca51f1bf8" and "b8eda046dd659a923773ff3d84271ddede5ce322" have entirely different histories.
641dd19b8d
...
b8eda046dd
1 changed files with 1 additions and 4 deletions
|
|
@ -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):
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue