Merge pull request #7228 from BacLuc/improve-deploy-ingress

.github: only deploy ingress if ingress changed on push to devel

Author: BacLuc

.github/workflows/deploy-ingress.yml

@@ -10,6 +10,9 @@ on:
   push:
     branches:
       - devel
+    paths:
+      - .github/workflows/deploy-ingress.yml
+      - .ops/ingress/**
 
 jobs:
   deploy-ingress: