Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Update `user_filters` table to have a unique index, and non-null columns #1172
Not sure on the procedure for PRing schema changes, so let me know if I'm missing something.
4 similar comments
@pik The way the schema upgrade stuff works is that we create a new "version" after every release, so creating a new 37 is the correct thing to do here since 36 is the latest in the release. You will need to bump the
@matrixbot ok to test