devdoc/repo_list: drop markdown extension

2023-08-08 09:15:29 +10:00 · 2023-08-08 09:15:29 +10:00 · d428b681cb
commit d428b681cb
parent 72d0c73ea6
2 changed files with 1 additions and 1 deletions
--- a/.github/workflows/repo-list.yml
+++ b/.github/workflows/repo-list.yml
@ -20,7 +20,7 @@ jobs:
          # avoid rate limit
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
-          gh api --paginate /orgs/nix-community/repos --jq '.[].html_url' | sort > devdoc/repo_list.md
+          gh api --paginate /orgs/nix-community/repos --jq '.[].html_url' | sort > devdoc/repo_list
      - uses: peter-evans/create-pull-request@v5
        id: update
        with:
--- a/devdoc/repo_list.md
+++ b/devdoc/repo_list.md