see whether clobbered github with gitlab