Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- # rename repository
- # change name on remote repo, copy ssh url from the clone button on main page
- mv <old folder> <new folder>
- git remote set-url origin git@github.com:genomicsengland/<new repo name>
- # compare local copy of file to remote
- git fetch origin
- git diff origin/master -- <path to file>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement