Fixed a mistake in the fetch command (missing 'origin'). Tweaked the publication a little bit to avoid performing 2 pushes.