Add stable-2.13 branch to server-config

Change-Id: I6adfaaf352cff95bc070d7243ce3fd074bedee1e
1 file changed
tree: d54f341291ccf01c86cfef4a6ef6c4db33b88a37
  1. jenkins/
  2. jenkins-docker/
  3. .gitignore