GitLab upgraded to 13.1.3-ee.0 - changelog: https://gitlab.com/gitlab-org/gitlab/blob/master/CHANGELOG-EE.md
Pull mirroring updated Jul 08, 2020.
