jaczhi
commented
6 months ago @warrickhe sorry about the merge conflicts, at this point i think you should just cherry pick commit # b5b37e6900581fe01d9654de9eb0007d5eee7737 (the commit with only the swagger webpage stuff, everything else is already merged anyways) into a new branch and make a PR. you will still have a merge conflict on index.html but that should be trivial to fix
Merge the documentation into main
Related to #111