remove pinned tabs migration

Author: sawka

db/migrations-wstore/000010_merge_pinned_tabs.down.sql

@@ -0,0 +1,2 @@
+-- This migration cannot be reversed as pinned tab state is lost
+-- during the merge operation

db/migrations-wstore/000010_merge_pinned_tabs.up.sql

@@ -0,0 +1,23 @@
+-- Merge PinnedTabIds into TabIds, preserving tab order
+UPDATE db_workspace
+SET data = json_set(
+  data,
+  '$.tabids',
+  (
+    SELECT json_group_array(value)
+    FROM (
+      SELECT value, 0 AS src, CAST(key AS INT) AS k
+      FROM json_each(data, '$.pinnedtabids')
+      UNION ALL
+      SELECT value, 1 AS src, CAST(key AS INT) AS k
+      FROM json_each(data, '$.tabids')
+      ORDER BY src, k
+    )
+  )
+)
+WHERE json_type(data, '$.pinnedtabids') = 'array'
+  AND json_array_length(data, '$.pinnedtabids') > 0;
+
+UPDATE db_workspace
+SET data = json_remove(data, '$.pinnedtabids')
+WHERE json_type(data, '$.pinnedtabids') IS NOT NULL;