It was a great hackathon experience! There are still 30+ hackathon PRs open on GitHub. I am thinking about archiving them by closing the PRs for now, but I wanted to get your thoughts before doing so. Even if we close them, we can still continue the discussions and consider merging useful parts into the main branch later, ideally by breaking them down into smaller, decoupled PRs.
What do you think? Best, Yicong Huang [email protected]
