Delete Extra $ in Link to PR

noir-lang · May 5, 2023 · 73c9eb0 · 73c9eb0
1 parent f5878db
commit 73c9eb0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/MIGRATED_ISSUE.md b/.github/MIGRATED_ISSUE.md
@@ -4,4 +4,4 @@ labels: "migrated"
 # assignees: signorecello, critesjosh
 ---
 
-Document PR [#{{ env.PR }}](https://github.com/noir-lang/noir/pull/${{ env.PR }}) on the Noir repository.
+Document PR [#{{ env.PR }}](https://github.com/noir-lang/noir/pull/{{ env.PR }}) on the Noir repository.