Switch to https url for mr.developer source since we're not using an ssh key