Update
This commit is contained in:
parent
8dce602b88
commit
fc412d05cd
1 changed files with 2 additions and 2 deletions
|
|
@ -14,14 +14,14 @@ function perform_clone_or_pull {
|
|||
if [ ! -e "$target/.git" ]; then
|
||||
git clone "$REPO" "$target"
|
||||
fi
|
||||
(
|
||||
|
||||
cd "$target"
|
||||
echo -n "Working directory: "
|
||||
pwd
|
||||
ls -la
|
||||
git fetch
|
||||
git checkout origin/$BRANCH
|
||||
)
|
||||
|
||||
echo "Working copy checked out";
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue