change

.github/workflows/distribute.yml

@@ -40,9 +40,21 @@ jobs:
           git add . || true
           git commit -m "Build update" || true
           git push "https://$GITHUB_ACTOR:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY"
-          git checkout develop && git merge master
+        env:
+          GITHUB_TOKEN: ${{secrets.TAGADABOT_READ_TOKEN}}
+
+      - name: Update develop
+        run: |
+          git checkout develop
+          git pull || true
+          git reset --hard
+          git pull || true
+          git merge master
+          git commit -m "Merge master into develop" || true
           git push "https://$GITHUB_ACTOR:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY"
-          curl https://bigbrowser.santeacademie.com/update.php
         env:
           GITHUB_TOKEN: ${{secrets.TAGADABOT_READ_TOKEN}}
 
+      - name: Deploy remotely
+        run: |
+          curl https://bigbrowser.santeacademie.com/update.php

banner.js

@@ -25,7 +25,7 @@ const banner = `
 // @match        https://chrome.google.com/webstore/detail/tampermonkey/dhdgffkkebhmkfjojejmpbldmpobfkfo/related?hl=fr
 // @icon         https://assets.website-files.com/5fa997afa489c5171404c70c/60f7e0104650f1a66201de1d_favicon-32.png
 // @include      http*://*
-// ==/UserScript==
+// ==/UserScript== 
 `;
 
 module.exports = banner;