anchor.diff:  echo .
   SET /P feature_branch="Please enter name of feature branch: feature-"
   echo.
  -echo Change to feature branch
  +echo -- Step 1:     Change local repository to feature-%feature_branch% branch --
   git checkout feature-%feature_branch%
   echo.
   echo.
  -echo Pull current version from GitHub
  +echo -- Step 2:     Pull current version of feature-%feature_branch% from GitHub --
   git pull origin feature-%feature_branch%
   echo.
   echo.
  -echo Status of branch:
  +echo -- Step 3:     Show Status of branch --
   git status -s
   echo.
   echo.
  
positive.code: IF "%handwork%" == "y" GOTO exit
  echo.
  echo.
  echo Push uncommited changes to develop branch
  git push origin develop
  echo.
  echo "Switch to feature workspace"
  git checkout feature-%feature_branch%
  echo.
  echo.
  echo "Merge from develop branch to feature branch"
  git merge develop
  echo.
  echo.
  :: echo Start Pull Request for Feature to master
  :: git request-pull feature-%feature_branch% origin develop
  
  echo Now Please Go To GitHub and Do a Pull Request on feature-%feature_branch%
  echo Or continue with the after-festure-pull-request.bat
  
  endlocal
  
  
negative.code: IF "%handwork%" == "y" GOTO exit
  echo.
  echo.
  echo -- Step 4:     Commiting Changes to local feature-%feature_branch% --
  SET /P handwork="Do you want to commit changes [y/n]?"
  IF "%handwork%" == "y" git commit -a
  echo.
  echo.
  echo -- Step 5:     Pushing changes of feature-%feature_branch% to GitHub --
  SET /P handwork="Do you want to push changes [y/n]?"
  IF "%handwork%" == "y" git push origin feature-%feature_branch%
  echo.
  echo.
  echo -- Step 6:     Change local repository to develop branch --
  git checkout develop
  echo.
  echo.
  echo -- Step 7:     Pull current version of develop from Github
  git pull origin develop
  echo.
  echo.
  