Companion PR for https://github.com/pytorch/pytorch/pull/84837 (#3987)
* Companion PR for https://github.com/pytorch/pytorch/pull/84837
Signed-off-by: Edward Z. Yang <ezyang@fb.com>
* pin
Signed-off-by: Edward Z. Yang <ezyang@fb.com>
* lint
Signed-off-by: Edward Z. Yang <ezyang@fb.com>
* Delete .torch_pin
Signed-off-by: Edward Z. Yang <ezyang@fb.com>