Here are some notes I took and I like to refer to.


Last update: March 5th, 2020

Push local changes to GitHub

The GitHub repo has already been initialized and the local and remote branches are in sync.

  1. git add .
  2. git status
  3. git commit -m "Commit comment"
  4. git push origin master

Start a new Git repository

  1. Initialize local directory: git init
  2. Add local repository: git add <option>
    • <.> everything in the current directory, same as --all or -A
    • <file> all changes in file.
    • <directory> all changes in the target directory.
    • <-p> interactive staging, let you choose files one by one.
  3. Commit repository: git commit -m "First commit message"
  4. Add remote repo URL (like GitHub): git remote add origin https://.../your-repo.git
  5. Push local repo to GitHub: git push -u origin master
    • <-u> will remember your preferences for remote and branch and you can simply use the command git push next time.

Configure username & email

  1. git config --global "FIRST_NAME LAST_NAME"
  2. git config --global ""
    • Use <--global> if it’s for every repo, dont use it if it’s for a specific repo.

Display configuration file: *cat .git/config

Show & change remote URL

  1. Run git remote -v to list the existing remotes and see their names and URLs
    • The output will look something like this:
      origin (fetch)
      origin (push)
  2. Run git remote set-url followed by the remote name and URL:
    • Example: git remote set-url origin
    • The command updates the repository .git/config file with a new URL to the remote repository.
    • You can edit the file directly but should use the git command.
    • The remote’s URL can start with HTTPS or SSH (defaults to SSH if not specified).
    • The URL can be found on the repository page of your Git hosting service.
  3. Verify that the remote’s URL was successfully changed by listing it again with git remote -v

Update local branch with remote master

If your local branch is behind the remote master:

  • git checkout [master/main]
  • git pull
  • git checkout [my-branch-which-is-behind]
  • git merge master

Git will ask for a commit message.



Last update: May 27th, 2020

Virtual environment (venv)

Official documentation.

  1. Create new virtual environment: python3 -m venv /path/.../venv
  2. Activate the new environment: source ./venv/bin/activate
  3. Deactivate environment: deactivate
  4. Check what packages are in the environment: pip3 freeze
  5. Install packages with pip: pip install <package name>