From 22bdccd376b338c300ed02d0272dd5893c2d4567 Mon Sep 17 00:00:00 2001
From: Nicholas Bishop <nbishop@nbishop.net>
Date: Sat, 10 Jun 2023 19:51:47 -0400
Subject: [PATCH] ci: Fix developer_productivity push error

---
 .github/workflows/developer_productivity.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/developer_productivity.yml b/.github/workflows/developer_productivity.yml
index 1bf96a790..2b4b3fadf 100644
--- a/.github/workflows/developer_productivity.yml
+++ b/.github/workflows/developer_productivity.yml
@@ -12,6 +12,8 @@ jobs:
     outputs:
       nix-src: ${{ steps.filter.outputs.nix-src }}
     steps:
+      - name: Checkout sources
+        uses: actions/checkout@v3
       - uses: dorny/paths-filter@v2
         id: filter
         with: