[jenkins-ci PATCH 0/3] Update various files after repo rename

[Andrea Bolognani]

All pushed as trivial.

Andrea Bolognani (3):
  guests: Update README after repo rename
  git-publish: Update config after repo rename
  github: Update repo-lockdown config after repo rename

 .github/lockdown.yml   | 6 +++---
 .gitpublish            | 2 +-
 guests/README.markdown | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

-- 
2.25.2