gitlab migration

[Adam Jackson]

On Mon, 2018-07-02 at 10:23 -0700, Keith Packard wrote:
> Adam Jackson <ajax at redhat.com> writes:
> 
> > I'd like us to start moving repos and bug tracking into gitlab.
> 
> I would also like to get to a merge-request model at some
> point. However, I think we can take this in stages and start by moving
> the git repos over to gitlab, and then move the bugs over, and finally
> start doing patch review via the gitlab issue tracker.
> 
> For the first step, I'd like to propose moving the x server git
> repository to gitlab in the coming week, with the switch-over happening
> on the morning of July 9.

I don't really see a reason not to move the repos for everything. It's
a pretty invisible change since the old URLs keep working, and I'm
itchy to see CI wired up.

- ajax