diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
index d81336ea3..668a10314 100644
--- a/.github/workflows/push.yaml
+++ b/.github/workflows/push.yaml
@@ -141,6 +141,3 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v2
-
-# For debugging and monitoring disk usage:
-# (make foo && df -h) || (df -h && false)