Hi, we have a PR opened by an external contributor for on plugin repository. These changes include updates to the ‘Jenkinsfile’. But my understanding is changes to ‘Jenkisnfile’ can only be made by someone who has write access to repository. At this point in time, as we are not able to provide write access to the external contributor, I wanted to check if there are any other options/recommended approach for this?
You could create an own PR that only changes the Jenkinsfile like in the PR. So basically splitting the Jenkinsfile from the rest of the changes