On 9/2/20 9:59 AM, Robin Westberg wrote: > Hi all, > > Please review this change that ensures that the source repository of a GitLab merge request is accessible before > attempting to use it. Thanks for fixing this Robin! Erik