blob: 17e8a7094868997839444af43f13ceca22ed533f [file] [log] [blame]
Robert R Evans9c7cd9a2010-10-02 11:55:34 -07001function git_remote {
2 echo "Running: git remote add origin ${GIT_HOSTING}:$1.git"
3 git remote add origin $GIT_HOSTING:$1.git
4}
5
6function git_first_push {
7 echo "Running: git push origin master:refs/heads/master"
8 git push origin master:refs/heads/master
9}
10
11function git_remove_missing_files() {
12 git ls-files -d -z | xargs -0 git update-index --remove
13}