Rename pr-merged to pr-merged.yaml

AvineshTripathi · Oct 23, 2023 · 4e32b5e · 4e32b5e
1 parent 54a0457
commit 4e32b5e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/pr-merged → .github/workflows/pr-merged.yaml b/.github/workflows/pr-merged → .github/workflows/pr-merged.yaml