From 9f857eca8b82ace730e6f5bcd23f5e47d4e8ab8d Mon Sep 17 00:00:00 2001
From: Gianni Carafa <gianni.carafa@srf.ch>
Date: Wed, 15 Nov 2023 10:16:33 +0100
Subject: [PATCH] add permission to push to repository

---
 .github/workflows/build-css.yaml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-css.yaml b/.github/workflows/build-css.yaml
index 4d4045c..47a3365 100644
--- a/.github/workflows/build-css.yaml
+++ b/.github/workflows/build-css.yaml
@@ -8,6 +8,11 @@ on:
 
 jobs:
   tailwindbuilder:
+    permissions:
+      # Give the default GITHUB_TOKEN write permission to commit and push the
+      # added or changed files to the repository.
+      contents: write
+      
     runs-on: ubuntu-latest
     steps:
       -
@@ -24,7 +29,7 @@ jobs:
       -
         name: Commit generated stylesheet
         run: |
-          if git diff cmd/styles.css --quiet; then
+          if git diff --quiet cmd/styles.css; then
             echo "No changes to commit."
             exit 0
           else