assign a PR number

cometkim · cometkim · commit 6b58c9769ab3 · 2024-11-19T01:38:30.000+09:00
diff --git a/text/0001-int.md b/text/0001-int.md
@@ -1,7 +1,7 @@
 ---
 Feature Name: rescript-integers
 Start Date: 2024-11-19
-RFC PR: (leave this empty)
+RFC PR: https://github.com/rescript-lang/rfcs/pull/1
 ReScript Issue: (leave this empty)
 ---
 
