Remove duplicate Lint workflow run on push to main.

Author: supahgreg

.github/workflows/lint.yml

@@ -4,8 +4,6 @@ name: Lint
 on:
   pull_request:
     branches: [main]
-  push:
-    branches: [main]
   # Allow manual triggering
   workflow_dispatch:
   # Allow other workflows (e.g. Pages) to invoke this one.

.github/workflows/pages.yml

@@ -4,6 +4,7 @@ name: Build and deploy Pages
 on:
   push:
     branches: [main]
+  # Allow manual triggering
   workflow_dispatch:
 
 permissions: