via github zu jenkins, gehts es jetzt?