Rename .github/build_directory_md.yml to .github/workflows/build_directory_md.yml

.github/workflows/build_directory_md.yml

@@ -0,0 +1,20 @@
+# The objective of this GitHub Action is to update the DIRECTORY.md file (if needed)
+# when doing a git push
+name: directory_writer
+on: [push]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v1
+      - uses: actions/setup-python@v1
+        with:
+          python-version: 3.x
+      - name: Update DIRECTORY.md
+        run: |
+          .github/scripts/build_directory_md.py 2>&1 | tee DIRECTORY.md
+          git config --global user.name github-actions
+          git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com'
+          git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
+          git commit -am "updating DIRECTORY.md" ||  true
+          git push --force origin HEAD:$GITHUB_REF || true