afs edited a comment on pull request #39: URL: https://github.com/apache/jena-site/pull/39#issuecomment-775804493
It is easy to do :-) I've already had to `git cherry-pick` from one branch to another after getting in a tangle. We could also `git pull` from the PR from the contributors branch. I have just tried this on #37 and #38 - this is nice because it keeps the commit hash from the original PR. ``` git pull https://github.com/jmkeil/jena-site.git patch-1 git pull https://github.com/den1s0v/jena-site.git patch-1 ``` Also - I realised that `Jenkinsfile` was per-branch and so 'master' was publishing still (as well as 'main'). Fixed. Maybe we should remove master now there are no PRs? ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
