[lava-users] Re: Azure DevOps repo instead of GitHub