| 15:26 | <bakkot> | we should turn off the check in the mean time, I suppose |
| 15:50 | <Michael Ficarra> | are we in that much of a rush to get the PR in? |
| 15:51 | <Michael Ficarra> | if you haven't noticed, things move a little slowly around here |
| 16:08 | <bakkot> | I thought that's what we said the plan was? |
| 16:08 | <bakkot> | I don't want things to be blocked on waiting for esmeta to update |
| 16:31 | <Michael Ficarra> | I'm fine either way, I'm just patient and lazy so would opt to wait until next week |
| 17:09 | <Michael Ficarra> | actually my opinion is stronger: I'd prefer to leave it enabled for now so we can have it run on other PRs in the meantime |
| 17:09 | <Michael Ficarra> | when we discussed being blocked, I was thinking we were talking about extended periods of time with no feedback from the esmeta devs |
| 17:45 | <bakkot> | we should talk about that more, then |
| 17:46 | <bakkot> | but if it's just that you still want it to run, I'm fine with just disabling the enforcement of the check |
| 17:46 | <bakkot> | I don't want to ever be in a situation of being ready to merge a PR but needing to wait for esmeta devs to do things first; I'd thought we said that whenever that situation arose we'd just turn it off |
| 17:47 | <bakkot> | I wouldn't've wanted to land it under any other conditions |
| 18:44 | <jmdyck> | I think ljharb said that he could merge a PR despite a failing check, so you wouldn't even have to disable enforcement. |
| 18:49 | <ljharb> | true |