Advertisement
Guest User

Untitled

a guest
Oct 15th, 2019
717
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.29 KB | None | 0 0
  1. # rename repository
  2. # change name on remote repo, copy ssh url from the clone button on main page
  3. mv <old folder> <new folder>
  4. git remote set-url origin git@github.com:genomicsengland/<new repo name>
  5.  
  6. # compare local copy of file to remote
  7. git fetch origin
  8. git diff origin/master -- <path to file>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement