Browse Source

pull repo do clone

main
pvincent 1 week ago
parent
commit
d45d077b86
  1. 5
      lib/setup-prod-normal-user.bash

5
lib/setup-prod-normal-user.bash

@ -35,14 +35,11 @@ function install_mise {
function pull_repo { function pull_repo {
if [[ ! -d .git ]]; then if [[ ! -d .git ]]; then
git clone $REPO_URL --branch $REPO_BRANCH .
git config --global init.defaultBranch $REPO_BRANCH git config --global init.defaultBranch $REPO_BRANCH
git init
git config pull.rebase true git config pull.rebase true
git remote add origin $REPO_URL
fi fi
git branch --set-upstream-to=origin/$REPO_BRANCH $REPO_BRANCH
if git fetch origin $REPO_BRANCH --dry-run --verbose 2>&1 | grep -q " =.*\-> origin\/$REPO_BRANCH"; then if git fetch origin $REPO_BRANCH --dry-run --verbose 2>&1 | grep -q " =.*\-> origin\/$REPO_BRANCH"; then
set +Eue set +Eue
show_repo_info show_repo_info

Loading…
Cancel
Save