From 1b4f4a674ac533c0b51260ba35ab91dd2cf9486d Mon Sep 17 00:00:00 2001
From: Ariel Costas Guerrero <ariel@costas.dev>
Date: Thu, 2 Apr 2026 12:38:10 +0200
Subject: Basic push notification system for service alerts

Co-authored-by: Copilot <copilot@github.com>
---
 .../Data/Migrations/AppDbContextModelSnapshot.cs   | 48 ++++++++++++++++++++++
 1 file changed, 48 insertions(+)

(limited to 'src/Enmarcha.Backend/Data/Migrations/AppDbContextModelSnapshot.cs')

diff --git a/src/Enmarcha.Backend/Data/Migrations/AppDbContextModelSnapshot.cs b/src/Enmarcha.Backend/Data/Migrations/AppDbContextModelSnapshot.cs
index 88488bf..f02eb20 100644
--- a/src/Enmarcha.Backend/Data/Migrations/AppDbContextModelSnapshot.cs
+++ b/src/Enmarcha.Backend/Data/Migrations/AppDbContextModelSnapshot.cs
@@ -23,12 +23,52 @@ namespace Data.Migrations
             NpgsqlModelBuilderExtensions.HasPostgresExtension(modelBuilder, "postgis");
             NpgsqlModelBuilderExtensions.UseIdentityByDefaultColumns(modelBuilder);
 
+            modelBuilder.Entity("Enmarcha.Backend.Data.Models.PushSubscription", b =>
+                {
+                    b.Property<Guid>("Id")
+                        .ValueGeneratedOnAdd()
+                        .HasColumnType("uuid")
+                        .HasColumnName("id");
+
+                    b.Property<string>("AuthKey")
+                        .IsRequired()
+                        .HasColumnType("text")
+                        .HasColumnName("auth_key");
+
+                    b.Property<DateTime>("CreatedAt")
+                        .HasColumnType("timestamp with time zone")
+                        .HasColumnName("created_at");
+
+                    b.Property<string>("Endpoint")
+                        .IsRequired()
+                        .HasColumnType("text")
+                        .HasColumnName("endpoint");
+
+                    b.Property<string>("P256DhKey")
+                        .IsRequired()
+                        .HasColumnType("text")
+                        .HasColumnName("p256dh_key");
+
+                    b.HasKey("Id")
+                        .HasName("pK_push_subscriptions");
+
+                    b.HasIndex("Endpoint")
+                        .IsUnique()
+                        .HasDatabaseName("iX_push_subscriptions_endpoint");
+
+                    b.ToTable("push_subscriptions", (string)null);
+                });
+
             modelBuilder.Entity("Enmarcha.Backend.Data.Models.ServiceAlert", b =>
                 {
                     b.Property<string>("Id")
                         .HasColumnType("text")
                         .HasColumnName("id");
 
+                    b.Property<DateTime?>("ActiveNotifiedAt")
+                        .HasColumnType("timestamp with time zone")
+                        .HasColumnName("active_notified_at");
+
                     b.Property<int>("Cause")
                         .HasColumnType("integer")
                         .HasColumnName("cause");
@@ -68,6 +108,10 @@ namespace Data.Migrations
                         .HasColumnType("timestamp with time zone")
                         .HasColumnName("inserted_date");
 
+                    b.Property<DateTime?>("PreNoticeNotifiedAt")
+                        .HasColumnType("timestamp with time zone")
+                        .HasColumnName("pre_notice_notified_at");
+
                     b.Property<DateTime>("PublishDate")
                         .HasColumnType("timestamp with time zone")
                         .HasColumnName("publish_date");
@@ -77,6 +121,10 @@ namespace Data.Migrations
                         .HasColumnType("jsonb")
                         .HasColumnName("selectors");
 
+                    b.Property<int>("Version")
+                        .HasColumnType("integer")
+                        .HasColumnName("version");
+
                     b.HasKey("Id")
                         .HasName("pK_service_alerts");
 
-- 
cgit v1.3