Fixes: #3049 adding the jenkins build repo key