Disable github PR stats

Too memory-intensive, we need a better way. Resolves #106, I hope.