Ragnar Groot Koerkamp
Ragnar Groot Koerkamp
If the branch being reviewed is currently checked out (to the same commit), it would be natural (to me) to apply the suggestions to the working tree instead, and let...
@mpsijm what's the status here? I kinda forgot what this was about
@mzuenni could you make a PR for this?
hmm; it's reasonable to print it by default I think, and maybe disable it with a flag when you don't like it / the terminal doesn't support it.
Do we need rate limiting? It would be a bit annoying to implement is nicely indeed. On Sat, 10 Dec 2022, 14:41 mzuenni, ***@***.***> wrote: > It already respects --no-bar....
I'd be happy to review a PR for this. I don't imagine this would be too hard to support once you know where to look. I could probably give some...
I played a bit with your branch: - The warning for language in `problem.yaml` that's missing from `problem.xy.tex` should also be an error I'd say. - Quote the `for language...
Hmmm, probably? By default the interactor still doesn't intercept communication, so while stuff has changed a bunch since this was created, the root issue is probably still there. But I...
Ah right; that was added 9 months ago by you in #269, so probably this has been fixed then :)