From b81d623d05a7f0354489bd0488f5d3f3d379f948 Mon Sep 17 00:00:00 2001
From: Jean-Hadrien Chabran <jh@chabran.fr>
Date: Thu, 20 Jun 2024 12:38:37 +0200
Subject: [PATCH] Try fixing prod redirection issues

---
 data/notion_migration.yaml | 2 +-
 src/scripts/redirects.mjs  | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/data/notion_migration.yaml b/data/notion_migration.yaml
index a4a025d9dfb5..12e8387c7baa 100644
--- a/data/notion_migration.yaml
+++ b/data/notion_migration.yaml
@@ -2,7 +2,7 @@
 # - 'source': URL path to redirect, as currently visible on handbook.sourcegraph.com
 # - 'destination': New URL top direct to. If a public 'sourcegraph.notion.site' page is available, prefer that instead of the internal Notion URL.
 redirections:
-  - source: /departments/engineering/teams/devinfra
+  - source: /departments/engineering/teams/devinfra/
     destination: https://sourcegraph.notion.site/Developer-Infrastructure-Team-a46433b93bb2445abc1966c93a570a26
   # Core Services
   - source: /departments/engineering/teams/core-services/
diff --git a/src/scripts/redirects.mjs b/src/scripts/redirects.mjs
index 36a2ac378211..30946a565804 100644
--- a/src/scripts/redirects.mjs
+++ b/src/scripts/redirects.mjs
@@ -46,9 +46,8 @@ export default async function redirects() {
     const movedPages = await getMovedPagesFromHistory()
     const notionRedirections = await readNotionMigrationRedirects()
     return cleanupRedirects([
-        ...movedPages,
         ...notionRedirections.redirections,
-
+        ...movedPages,
         // Add custom redirects
         {
             source: '/careers',