remote branch deletion

Author: ntoulemonde

scripts/2_repo_fetch.json

@@ -1,7 +1,7 @@
 [
   {
     "path_to_folder_to_synchronize_from": "https://github.com/InseeFrLab/satellite-images-docs/tree/main/cards",
-    "last_commit_sha": "862f2dc2f0c12d62a38b62de48d096452a1685ca",
+    "last_commit_sha": "82hgfhfhgfg",
     "path_to_folder_to_synchronize_to": "project/2022_satellites/cards",
     "replacements": [
       {
@@ -36,7 +36,7 @@
   },
   {
     "path_to_folder_to_synchronize_from": "https://github.com/InseeFrLab/codif-ape-prez/tree/main/cards",
-    "last_commit_sha": "0d474addc0735a610ecb7cc54bd5362114446925",
+    "last_commit_sha": "7925ghfhfg",
     "path_to_folder_to_synchronize_to": "project/2022_codif_ape/cards",
     "replacements": [
       {

scripts/2_synchronize.sh

@@ -146,7 +146,7 @@ main() {
             # replacement:  "${replacements:0:20}...""
 
             # # Delete branch
-            git branch -D origin/auto_fetch
+            git push origin --delete auto_fetch
             git branch -D auto_fetch
 
             # Create a branch only if it hasn't been created yet