[jenkins-ci PATCH 3/3] github: Update repo-lockdown config after repo rename