[judge2020]

But we don't know how much. What if they made one small bug fix in a week? What if they literally did zero work?