Reactivate 'push' option.
Switch to https repository urls.