Pulling from GitHub

Suggest Edits

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

Updated about 1 month ago