[MM3-users] Re: Are the gitlab repositories kept in sync?