Pushshift files.pushshift.io now points to the correct location for all recent data. From this moment onward, please use files.pushshift.io (it may take a few hours for the DNS to fully propagate for everyone, so you can use repo.pushshift.io until it does). Thx!
