crawler.py

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