revert push trigger and add hint

.github/workflows/desktop-lint.yml

@@ -1,23 +1,7 @@
 name: Code Style (C++) 
 
 on:
-  push:
-    branches:
-      - master
-    paths:
-      - '*/**'    # matches all files not in root
-      - '!**.md'
-      - '!.ci/**'
-      - '!.github/**'
-      - '!.husky/**'
-      - '!.tx/**'
-      - '!doc/**'
-      - '!webclient/**'
-      - '.ci/lint_cpp.sh'
-      - '.github/workflows/desktop-lint.yml'
-      - '.clang-format'
-      - '.cmake-format.json'
-      - 'format.sh'
+  # push trigger not needed for linting, we do not allow direct pushes to master
   pull_request:
     paths:
       - '*/**'    # matches all files not in root

.github/workflows/web-lint.yml

@@ -1,13 +1,7 @@
 name: Code Style (TypeScript) 
 
 on:
-  push:
-    branches:
-      - master
-    paths:
-      - 'webclient/**'
-      - '!**.md'
-      - '.github/workflows/web-lint.yml'
+  # push trigger not needed for linting, we do not allow direct pushes to master
   pull_request:
     paths:
       - 'webclient/**'