Hi, As discussed in another thread and in the committers sync, there seem to be heavy interest in moving our project repos ("mesos", "mesos-site") from the "git-wip" git server to the new "gitbox" server to better avail GitHub integrations.
Please vote +1, 0, -1 regarding the move to gitbox. The vote will close in 3 business days. Thanks, Vinod