fix: add default for show_project_migration_banner (#841)

Co-authored-by: Flora Thiebaut <flora.thiebaut@sdsc.ethz.ch>

Author: olevski

components/renku_data_services/migrations/versions/042eeb50cd8e_add_dismmiss_migration_banner_user_.py

@@ -19,7 +19,9 @@
 def upgrade() -> None:
     # ### commands auto generated by Alembic - please adjust! ###
     op.add_column(
-        "user_preferences", sa.Column("show_project_migration_banner", sa.Boolean(), nullable=False), schema="users"
+        "user_preferences",
+        sa.Column("show_project_migration_banner", sa.Boolean(), nullable=False, server_default=sa.text("true")),
+        schema="users",
     )
     # ### end Alembic commands ###
 

components/renku_data_services/users/orm.py

@@ -3,7 +3,7 @@
 from datetime import datetime
 from typing import TYPE_CHECKING, Any, Optional
 
-from sqlalchemy import JSON, Boolean, DateTime, Identity, Integer, LargeBinary, MetaData, String
+from sqlalchemy import JSON, Boolean, DateTime, Identity, Integer, LargeBinary, MetaData, String, true
 from sqlalchemy.dialects.postgresql import JSONB
 from sqlalchemy.orm import DeclarativeBase, Mapped, MappedAsDataclass, mapped_column, relationship
 
@@ -79,7 +79,11 @@ class UserPreferencesORM(BaseORM):
     pinned_projects: Mapped[dict[str, Any]] = mapped_column("pinned_projects", JSONVariant)
     """Pinned projects."""
 
-    show_project_migration_banner: Mapped[bool] = mapped_column("show_project_migration_banner", Boolean)
+    show_project_migration_banner: Mapped[bool] = mapped_column(
+        "show_project_migration_banner",
+        Boolean,
+        server_default=true(),
+    )
     """Show project migration banner."""
 
     @classmethod