?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
jsonfmt.py: Don't sort the JSON, use the new -s/--sort option for that
[sunny256-utils.git] / git-fix-origin
blobcaf93f043de0e12fa82d9e9f3bfb42e56fb69206
1 #!/bin/sh
2
3 # File ID: 9b49059c-b765-11e7-ad1d-db5caa6d21d3
4
5 echo "git remote rm origin; git remote add origin $(git config --get remote.origin.url)" | sh
6 git fetch origin
My ~/bin/ directory, with useful scripts I use all the time.