My first batch change!
Created by Sourcegraph batch change sourcegraph-management-michael.lin/test-gitlab.
sourcegraph-management-michael.lin/test-gitlab
Push commits to the source branch or add previously merged commits to review them.
