From 7892d55fb77876c613b27d71e5da76e8852ae218 Mon Sep 17 00:00:00 2001
From: Thalia Archibald <thalia@archibald.dev>
Date: Fri, 11 Oct 2024 14:01:42 -0700
Subject: Grant push permission to workflow

---
 .github/workflows/linearize.sh  | 4 ++--
 .github/workflows/linearize.yml | 2 ++
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/linearize.sh b/.github/workflows/linearize.sh
index ad6968ae..07f22b08 100755
--- a/.github/workflows/linearize.sh
+++ b/.github/workflows/linearize.sh
@@ -4,7 +4,7 @@ set -eEuo pipefail
 sort_authors() {
   # Unify author aliases.
   sed -e 's/^dibyendumajumdar <mobile@majumdar\.org\.uk>$/Dibyendu Majumdar <mobile@majumdar.org.uk>/g' \
-       -e 's/^Dibyendu Majumdar <dibyendumajumdar@users\.noreply\.github\.com>$/Dibyendu Majumdar <mobile@majumdar.org.uk>/g' |
+      -e 's/^Dibyendu Majumdar <dibyendumajumdar@users\.noreply\.github\.com>$/Dibyendu Majumdar <mobile@majumdar.org.uk>/g' |
   # Rank by number of commits.
   sort | uniq -c | sort -nr | sed -E 's/^ *[0-9]+ //'
 }
@@ -81,7 +81,7 @@ while read -r chapter; do
     sed -Ei 's,\[Chapter ([0-9]+)\]\(chapter0?\1/README\.md\),Chapter \1,' README.md
     # Change to a JAR and delete the modules, for a single-project structure.
     sed -i -e 's,<packaging>pom</packaging>,<packaging>jar</packaging>,' \
-            -e '/<modules>/,/^$/d' pom.xml
+           -e '/<modules>/,/^$/d' pom.xml
   fi
   git mv chapter_docs "docs/$chapter"
   # Restore the link to this chapter.
diff --git a/.github/workflows/linearize.yml b/.github/workflows/linearize.yml
index 4b1828d3..f83a0d54 100644
--- a/.github/workflows/linearize.yml
+++ b/.github/workflows/linearize.yml
@@ -23,3 +23,5 @@ jobs:
           git checkout -b linear linear/main
           git remote remove linear
           git push -f origin linear
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-- 
cgit v1.2.3