Update GITALY_SERVER_VERSION for production issue
This applies gitaly!1742 (merged) atop 12-7-auto-deploy-20200105.
Production issue: https://gitlab.com/gitlab-com/gl-infra/production/issues/1552
Edited by Stan Hu
This applies gitaly!1742 (merged) atop 12-7-auto-deploy-20200105.
Production issue: https://gitlab.com/gitlab-com/gl-infra/production/issues/1552