From d0961f28984890c4dee2fecf3f2452b988fc56bc Mon Sep 17 00:00:00 2001
From: Stephen Gutekanst <stephen@hexops.com>
Date: Fri, 26 Aug 2022 15:58:11 -0700
Subject: [PATCH] CI: correct git-filter-repo installation

Signed-off-by: Stephen Gutekanst <stephen@hexops.com>
---
 .github/workflows/push_subrepos.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/push_subrepos.yml b/.github/workflows/push_subrepos.yml
index 8d4c049f..b1a16a39 100644
--- a/.github/workflows/push_subrepos.yml
+++ b/.github/workflows/push_subrepos.yml
@@ -14,7 +14,9 @@ jobs:
           # split the git subtree.
           fetch-depth: 0
       - name: Install git-filter-repo
-        run: sudo apt-get install -y git-filter-repo
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y git-filter-repo
       - name: "Push recent commits to subrepositories"
         env:
           ACCESS_TOKEN: ${{ secrets.HEXOPS_MACH_PUSH_SUBREPOS }}