Lines Matching refs:git

9 REVISION=$(git rev-parse --short HEAD)
18 git init
19 git config user.name "Travis CI"
20 git config user.email "travis@harfbuzz.org"
23 git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git"
25 git fetch upstream
26 git reset upstream/master
29 git add -A .
31 if [[ $(git status -s) ]]; then
32   git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION"
33   git push -q upstream HEAD:master