Merge branch 'fix/git-exec' into 'master'

[git] fixed exec command

See merge request frama-c/frama-c!4248

bin/git.sh

@@ -136,7 +136,7 @@ do
     echo "-- Repository $plugin"
     echo "--------------------------------------------------"
 
-    if [ "$TARGET" != "" ] && [ -f $TARGET ]
+    if [ "$COMMAND" != "" ]
     then
         cd $plugin
         if [ "$TARGET" != "" ]