Lines Matching full:git
18 # 2. git
22 # Location for the remote git repository.
49 # Start a local git repo.
50 git clone $GIT_REPO .
53 git checkout -b tot $GIT_BRANCH
55 add="$(git diff-index --diff-filter=A $prev_hash | \
57 delete="$(git diff-index --diff-filter=D $prev_hash | \
61 hash=$(git log -1 --format="%H")
84 echo "git log from upstream:"
85 pretty_git_log="$(git log \
93 pretty_git_log="$(git log \
111 # Git is useless now, remove the local git repo.
112 rm -rf .git .gitignore .gitattributes
115 echo "$add" | xargs -I {} git add {}
116 echo "$delete" | xargs -I {} git rm --ignore-unmatch {}
119 find . -type d -empty -exec git rm {} \;
