Fixes: #3050 adding the jenkins build repo key