Skip to content

Instantly share code, notes, and snippets.

Working from home

Juan Manuel Formoso juanformoso

Working from home
View GitHub Profile
juanformoso / gist:11335dde3b5d429b2706
Created Jan 28, 2015
How to pull ever branch from remote
View gist:11335dde3b5d429b2706
for remote in `git branch -r | grep -v master `; do git checkout --track $remote; git pull ; done
juanformoso / how_to_migrate_git
Created Dec 17, 2014
How to migrate git from one server to another
View how_to_migrate_git
Assuming you use origin as the name of your remote
git pull
git remote rm origin
git remote add origin [new_url]
git push -f --tags origin refs/heads/*:refs/heads/*

Keybase proof

I hereby claim:

  • I am juanformoso on github.
  • I am juan ( on keybase.
  • I have a public key whose fingerprint is AF4F 5560 56DF 9AC5 F8FF CCA5 EE79 0F68 6971 DC15

To claim this, I am signing this object: