Update migrate.sh with official proposal number

README.md

@@ -12,7 +12,7 @@ with the string "WARNING: " near the top of the commit message.
 It is your responsibility to inspect the list of commit changes
 when upgrading the module. Not all breaking changes will lead to build failures.
 
-A [Discussion about including this package in Go as `encoding/json/v2`](https://github.com/golang/go/discussions/63397) has been started on the Go Github project on 2023-10-05. Please provide your feedback there.
+A [proposal to include this module in Go as `encoding/json/v2` and `encoding/json/jsontext`](https://github.com/golang/go/issues/71497) has been started on the Go Github project on 2025-01-30. Please provide your feedback there.
 
 ## Goals and objectives
 

migrate.sh

@@ -63,7 +63,7 @@ LINE=$(sed -n '/Test-only packages can have anything they want/=' $GOROOT/src/go
 sed -i "$((LINE+1)) i\\\tFMT, compress/gzip, embed, encoding/binary < encoding/json/internal/jsontest;" $GOROOT/src/go/build/deps_test.go
 
 # Adjust for newly added API.
-ISSUE=63397 # TODO: Replace with formal proposal issue for encoding/json/v2
+ISSUE=71497
 FILE=$(cd $GOROOT/api; ls -v | tail -n 1)
 echo "pkg encoding/json, func CallMethodsWithLegacySemantics(bool) jsonopts.Options #$ISSUE" >> $GOROOT/api/$FILE
 echo "pkg encoding/json, func DefaultOptionsV1() jsonopts.Options #$ISSUE" >> $GOROOT/api/$FILE