Update PyTorch pin (#2538)

alexbaden · web-flow · commit b71c7d3f591a · 2024-10-24T12:45:40.000-04:00
PyTorch PR 138390 was merged, so we can drop the patch and update the
pin.
diff --git a/.github/pins/pytorch-upstream.txt b/.github/pins/pytorch-upstream.txt
@@ -1 +1 @@
-487873f7cafeb0fd390eaefe40496b804bceabbd
+0efa590d435d2b4aefcbad9014dd5fa75dcf8405
diff --git a/scripts/patch-pytorch.sh b/scripts/patch-pytorch.sh
@@ -17,4 +17,3 @@ cd "$REPO_ROOT"
 
 curl -sSL https://github.com/pytorch/pytorch/pull/126516.diff | git apply -
 curl -sSL https://github.com/pytorch/pytorch/pull/126456.diff | git apply -
-curl -sSL https://github.com/pytorch/pytorch/pull/138390.diff | git apply -

Original file line number	Diff line number	Diff line change
`@@ -17,4 +17,3 @@ cd "$REPO_ROOT"`
`17`	`17`
`18`	`18`	`curl -sSL https://github.com/pytorch/pytorch/pull/126516.diff \| git apply -`
`19`	`19`	`curl -sSL https://github.com/pytorch/pytorch/pull/126456.diff \| git apply -`
`20`		`-curl -sSL https://github.com/pytorch/pytorch/pull/138390.diff \| git apply -`