ci: Remove uninformative comment

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 7, 2023 · 5a266c8 · 5a266c8
1 parent 074434e
commit 5a266c8
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
@@ -142,11 +142,5 @@ jobs:
         id: deployment
         uses: actions/deploy-pages@v2
 
-# NOTE
-#
-# May be necessary in the future:
-#
-
-#
 # For debugging and monitoring disk usage:
 # (make foo && df -h) || (df -h && false)