He can still short shares, then exercise his 20C 6/21 options contracts to get out according to this article from this past Monday:
“One way for Gill to get around this and still make money, options traders said, would be to short 12 million shares of GameStop before the options expire. An...