Three months, 22 CS students, and Git commit signing turns out to be fiddly, unverifiable, and mostly misunderstood.