remove git pull from script

build_full_frontend.sh

@@ -10,9 +10,6 @@ fi
 
 echo -e "\n${BROWN}/!\ ${NC}this script does not run 'npm install'\n${BROWN}/!\ ${NC}"
 
-# get the new sources
-git pull origin develop
-
 # create folder frontend/dist/app/ if no exists
 if [ ! -d "frontend/dist/app/" ]; then
   mkdir frontend/dist/app/