Fix: Try git add all as proposed previously (#70)

Co-authored-by: Dimitri LESNOFF <dimitri.lesnoff@lip6.fr>

Author: dlesnoff

.github/workflows/build_directory_md.yml

@@ -47,7 +47,7 @@ jobs:
       - name: Commit and push changes
         run: |
             git checkout -b directory_update-${{ github.sha }}
-            git add DIRECTORY.md
+            git add .
 
             git commit -m "docs: update DIRECTORY.md"
             git push origin directory_update-${{ github.sha }}:directory_update-${{ github.sha }}