@vito reported that Gists on gist.github.com were available using git operations after they were deleted. The backing git repositories were removed asynchronously, causing a delay between when a user deleted a Gist and when the associated repository was removed. We remediated this issue by ensuring that deleted Gists are made unavailable using either the website or git operations at the time of deletion.

@vito earned an additional 200 points for donating their bounty to a great cause — Electronic Frontier Foundation (EFF). GitHub matches all bounties donated to 501(c)(3) organizations.