#!/bin/env bash
CIBLE=$1
if [ "$CIBLE" == "" ]
then
CIBLE=$GIT_CURRENT_BRANCH
fi
git_01_quick_commit.sh
if [ ! "$CIBLE" = "$GIT_CURRENT_BRANCH" ];
git checkout $CIBLE
git pull