From 72c3a86517b0689f169a16c37e07820c18253d90 Mon Sep 17 00:00:00 2001
From: JSONbored <49853598+JSONbored@users.noreply.github.com>
Date: Thu, 16 Jul 2026 03:53:42 -0700
Subject: [PATCH] fix(db): renumber colliding migration 0156 to 0157

PR #6454 (draft-pr-close-policy) and PR #6467
(screenshot-table-gate-head-sha-correlation) both grabbed migration
number 0156, merging 23 minutes apart without seeing each other's
number. db:migrations:check now fails on main for every PR. Renumber
the later-merged one (#6467) to the next free number.
---
 ... => 0157_pull_request_screenshot_table_presence_satisfied.sql} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename migrations/{0156_pull_request_screenshot_table_presence_satisfied.sql => 0157_pull_request_screenshot_table_presence_satisfied.sql} (100%)

diff --git a/migrations/0156_pull_request_screenshot_table_presence_satisfied.sql b/migrations/0157_pull_request_screenshot_table_presence_satisfied.sql
similarity index 100%
rename from migrations/0156_pull_request_screenshot_table_presence_satisfied.sql
rename to migrations/0157_pull_request_screenshot_table_presence_satisfied.sql