Try fixing prod redirection issues

Author: jhchabran

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/

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',