git

.gitconfig

[user]
	name = Gert Cuykens
	email = [email protected]
[push]
	default = simple

README

git clean -xdf
git update-index --assume-unchanged Login.hs
git update-index --really-refresh

git remote add source https://github.com/user/repo.git
git pull origin patch-1
git reset --soft 4614cf82c38020b193013f5f33f8a1522feea725

git --work-tree=/var/www/domain.com --git-dir=/var/repo/site.git checkout -f
git checkout -b tmp
git status --ignored
git clean -ndX

git branch -m old_branch new_branch  
git push origin :old_branch
git push --set-upstream origin new_branch

post-receive

#!/bin/bash                                                                                                             
while read oldrev newrev refname                                                                                        
do                                                                                                                      
  BRANCH=$(git rev-parse --symbolic --abbrev-ref $refname)                                                              
  GIT_WORK_TREE=~/gps git checkout -f $BRANCH                                                                           
done                                                                                                                 
exit 0                                                                                                            

pre-receive

#!/bin/bash
git branch -d tmp
git branch tmp
git checkout tmp
exit 0