updating git deploy workflow to actually fetch changes from the remote origin, other minor improvements