request #7515: Git mirror user ssh key is not deployed

Change-Id: I41ba31ab05eb40a95bca53208d0ff9e6baef649f
Merge commit 'refs/changes/08/3108/1' of ssh://gerrit.tuleap.net:29418/tuleap into HEAD

* ssh://gerrit.tuleap.net:29418/tuleap:
  request #7515: Git mirror user ssh key is not deployed

Change-Id: Icd540cd527e5ba8583661611f7ccd8519dc5610b
This is Tuleap 7.5.99.53

Change-Id: Ifc9d8fb7fc41379985bc0cff14df0e5e7c671c67