Mathew Polzin

@reshadf let's move your question to a new GitHub issue if you don't mind. You can just copy your question over as you've written it well here. "How do I...

I'll try to confirm some of these steps soon (just got access to an Apple Silicon laptop). Some of these changes were confirmed to be needed by Steve in #2233....

Ok, I just got done doing a run-through on my `aarch64-darwin` machine. I found (as did the OP of this PR and Steve Dunham) that the changes on lines [52-58](https://github.com/idris-lang/Idris2/pull/2708/files#diff-09b140a43ebfdd8dbec31ce72cafffd15164d2860fd390692a030bcb932b54a0R52-R58)...

This PR has a very important additional instruction that I want to get merged so I went ahead and made the changes I had previously suggested in my review comments.

@doomspork Would you be interested in having me help maintain (review and/or release) this project? I'm very interesting in chipping in more formally and keeping momentum up. Sorry, I feel...

@whatyouhide do you mind merging the main branch into yours again to see if GitHub will recognize that it hasn't run CI against this branch yet? I now have the...

Thank you! I am fixing CI over [here](https://github.com/beam-community/jsonapi/pull/279) so I'll have you merge once more after that lands. Appreciate your patience!

Ok, that's sorted when you get the chance to merge master in again @whatyouhide .

I'm closing this issue out since newest versions of the OpenAPIKit beta support vendor extensions on `JSONSchema` (specifically since https://github.com/mattpolzin/OpenAPIKit/releases/tag/3.0.0-beta.2). It wasn't possible to implement this as backwards compatible so...

Yeah, required nullable (and all 3 other permutations) are all valid. In my own API development I've even used these permutations to drive home the semantics of the API even...