Rename mark_pr_as_done to mark_pr_as_done.yml

dbirks · Jan 14, 2022 · c84dbbd · c84dbbd
1 parent 0ca779f
commit c84dbbd
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/mark_pr_as_done → .github/workflows/mark_pr_as_done.yml b/.github/workflows/mark_pr_as_done → .github/workflows/mark_pr_as_done.yml