Pulling from GitHub

Pulling from GitHub is necessary when populating an empty Eraser file or when it is behind the tracked file in the remote repo.

  1. Click "Pull"
1260
  1. Click "Confirm". Pulling from GitHub will overwrite any existing content in the file.
994