[jenkins-ci PATCH 0/3] Update various files after repo rename
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