Skip to content

Instantly share code, notes, and snippets.

@gertcuykens
Last active August 21, 2016 15:11
Show Gist options
  • Save gertcuykens/6b7cdfab797a18f3ceb3a15d6692ae8b to your computer and use it in GitHub Desktop.
Save gertcuykens/6b7cdfab797a18f3ceb3a15d6692ae8b to your computer and use it in GitHub Desktop.
git
[user]
name = Gert Cuykens
email = gert.cuykens@gmail.com
[push]
default = simple
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
#!/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
#!/bin/bash
git branch -d tmp
git branch tmp
git checkout tmp
exit 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment