Added a new “Pull from GitHub” button in the theme editor when viewing a theme or plug-in that was cloned from GitHub. Also moved the “Edit Themes” button under the select theme popup menu.