Skip to content

Instantly share code, notes, and snippets.

@carlosvillademor
Last active June 18, 2020 07:28
Show Gist options
  • Select an option

  • Save carlosvillademor/2128ad351a522ccd67f0 to your computer and use it in GitHub Desktop.

Select an option

Save carlosvillademor/2128ad351a522ccd67f0 to your computer and use it in GitHub Desktop.
[user]
name = Carlos Fernandez Garcia
email = carlos.villademor@gmail.com
[alias]
commitsNotPushed = log --branches --not --remotes
commitsNotPulledFromMaster = log HEAD..origin/master
diffWithNotPulledCommitsFromMaster = diff origin/master..HEAD
mergedBranches = branch --merged
mergedRemoteBranches = branch -r --merged
notMergedBranches = branch --no-merged
deleteRemoteBranch = push origin --delete
branchesLastCommit = branch -v
removeRemoteTracking = fetch -p
resetLocalChanges = reset --hard
stashNotStaged = stash --keep-index
pruneOrigin = fetch origin --prune
removeTag = !sh -c 'git tag -d $1; git push origin :refs/tags/$1'
[push]
default = simple
[url "ssh://git@"]
insteadOf = git://
[core]
excludesfile = /Users/carlos.garcia/.gitignore_global
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment