added an option to disable curl SSL verification for gitlab and corrected a mistake in the config.php