Consider moving `projects.pushes_since_gc` to Redis
This column is updated on every push. Given a large number of pushes for different projects this will lead to a lot of UPDATE
queries on the projects
table. This in turn can trigger a lot of auto-vacuuming overhead. We should see if it's possible to move this counter to Redis (and do so if this is the case).