daninus14

Please let me know if there's any additional information which may be helpful

I just read the docs (I think that wasn't there back when I implemented this a while back) and saw the section on [Mixins](https://github.com/fukamachi/mito?tab=readme-ov-file#inheritance-and-mixin) Perhaps I should have replaced the...

I don't think that would work to define a table though, so still, for my use case I don't think it solves the issue.

@fukamachi Eitaro, first: thank you so much for your open source contributions! Second: thank you for your reply! Now, onto our issue, two things: First, this is also an N+1...

For reference see in the new docs: https://github.com/fukamachi/mito/pull/147/files#diff-752180eb8dc62c50aabe89619582363f65cb62ee49284c846d82ed7fe156cd1bR227 The SQL statement for the example above would be ```SQL "price numeric(10,2) NOT NULL, ```

If you have to interact with an API which only accepts url-encoded data and doesn't accept JSON then you have no choice but to do something like this. I think...

Hi, finally got around to checking it. I can confirm this only happens when SSL is enabled. I see here is the place where that is used: https://github.com/fukamachi/woo/blob/7f5219c55d49190f5ae17b123a8729b31c5d706e/src/woo.lisp#L391 And just...

Thanks, I'm just using a fresh ubuntu LTS without nginx or any reverse proxy, just straight woo. I guess if it comes up for anyone else they may help us...

I think the only issues with renaming a repository are related to github actions, everything else including issues, wikis, followers, stars, and probably forks will stay. See https://docs.github.com/en/repositories/creating-and-managing-repositories/renaming-a-repository From what...

I think even if you go to the old repo in github like github.com/user/oldrepo it will redirect the user and even the git clone to the new repo