Git command lines

1. Set up your git names

git clone https://github.com/SVF-tools/SVF.git
git config --global user.name "Your name"
git config --global user.email "youremail@gmail.com"

2. Git pull from your repo

git pull

3. Add your changes, commit and push to your repo

git add your_file
git commit -m "comments"
git push

4. Git pull from a remote repo

git remote add upstream https://github.com/SVF-tools/SVF.git
git pull upstream master

5. Git push to a remote repo

git remote add upstream https://github.com/SVF-tools/SVF.git
git push upstream master

6. Make pull request from private repo to a public one

git clone https://github.com/SVF-tools/SVF.git
cd public-repo
git remote add private_repo_yourname https://github.com/yuleisui/SVF.git
git checkout -b pull_request_yourname
git pull private_repo_yourname master
git push origin pull_request_yourname