Mathew Polzin
Mathew Polzin
I think this is happening when (a) offering to push an unpushed commit and (b) hitting an error that the remote is incompatible (I would have in this case done...
Happy to fix `allOperationIds` to include webhooks. I’ve got the work tracked [here](https://github.com/mattpolzin/OpenAPIKit/issues/392).
Fixed in [OpenAPIKit 3.4.1](https://github.com/mattpolzin/OpenAPIKit/releases/tag/3.4.1) and [OpenAPIKit 4.0.0-beta.2](https://github.com/mattpolzin/OpenAPIKit/releases/tag/4.0.0-beta.2).
The referenced plug specifically checks that the Content-Type request header is valid. Since that header specifies the type of the request body, it is not relevant for HEAD, GET, or...
On second thought, since the plug does bother to validate the accept header as well, it does look like a bug that it ignores some http verbs. Would be better...
Since auto-completion will work the same way as it does for other LSP-based integrations, do you have auto-completion working for any other languages that use LSP? There are at least...
Your results look good to me at a glance; what about them is fishy to you? If it’s the way that autocompletion puts the function call in parents and adds...
`?putStrLn_arg_0` is called a hole. It’s a language feature in Idris and it’s like a template argument except the hole is a valid part of a program; the compiler can...
Your last two bullets would probably be good feature requests for the idris LSP if they aren’t already tracked over there. I’m not totally sure if case insensitivity is desirable...