Greg Pfeil

> worked around it by adding the following to `contrib/cabal.project` Thanks, @neduard. We really need to get a Cabal GitHub check into CI (even if it’s not required). It should...

> Yeah, the Cabal Github check is missing a) because we didn't have anyone to maintain the .cabal file (no longer true) and b) because it would have doubled the...

> I think this is a good idea and heading in the right direction. > > I hadn't noticed how weird a lot of the existing messages were, but I...

Well, I think for now we could just suffix “Use `help {{command}}` to see more about how to use {{command}}.” instead of the full `help` message. Then later we can...

> Should we turn on CI for PR commits as well as for merge commits? I vaguely remember there being some issue with that, though, apart from doubling the number...

Just a ping for review here. I also have some other work in draft that will conflict with or depend on this, but it’d be better to get this one...

Ugh, one of these issues is mine (although I swear I remember making this exact fix before my last commit 😬) and another is due to the merge, I think....

Ok, this includes your changes, plus some others. No more duplicated help output, no more ruining output by wrapping it, etc. Here’s an updated transcript output with the examples you...

Here’s another that shows something other than “wrong number of args”. ``` .> pull foo .bar ⚠️ Sorry, I wasn’t sure how to process your request. I think you want...

> Sometimes numbering resets even within a single command: This particular case doesn‘t seem to exist any more, but if there are others like it, it’s simply a bug, right?...