| 23:49 | <bakkot> | ok actually I would just revert the last commit outright, it's just using a "180-character threshold" which is really not adequate to the task |
| 23:49 | <bakkot> | I am not going to write down a more precise heuristic right now, and you wanted to get it landed, so just reverting that and calling it good is the way to go |
| 23:49 | <bakkot> | I'll push that up and approve and you can stamp it if you want |