From d8767e9e6f813c81da644fbf030fa436121a539b Mon Sep 17 00:00:00 2001
From: antoineMerleEUM <antoine.merle@eumetsat.int>
Date: Tue, 4 Jun 2024 12:03:28 +0200
Subject: [PATCH] Fix push

Add permissions to push
---
 .github/workflows/main.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 9c77b3a..14a9505 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -2,13 +2,16 @@ name: CI
 
 on: [ push , pull_request ]
 
+permissions:
+    contents: write
+
 jobs:
   make_xml:
     runs-on: ubuntu-latest
     
     steps:
     - name: checkout
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
       with: 
         ref: ${{ github.ref }}
     - name: create xml files and push
@@ -29,4 +32,4 @@ jobs:
         # if not, only print a message saying not commit
         else
           echo "No changes to commit"
-        fi
\ No newline at end of file
+        fi