How to use a single Jenkins pipeline for multiple repositories with the Remote File Plugin