From d0df00cdb0843e917a14817c778e235cb8399246 Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Tue, 16 Mar 2021 22:19:50 -0700
Subject: [PATCH] .github/workflows/extract-sage-local.sh: Use sage-rebase.sh
 --all

---
 .github/workflows/extract-sage-local.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/extract-sage-local.sh b/.github/workflows/extract-sage-local.sh
index 3bc7601cbe9..b67c74583b7 100755
--- a/.github/workflows/extract-sage-local.sh
+++ b/.github/workflows/extract-sage-local.sh
@@ -24,4 +24,4 @@ ls -l "$SAGE_LOCAL" "$SAGE_LOCAL"/var/lib/sage/installed/
 df -h
 
 # Rebase!
-src/bin/sage-rebase.sh "$SAGE_LOCAL"
+src/bin/sage-rebase.sh --all "$SAGE_LOCAL"