afs opened a new pull request, #4073: URL: https://github.com/apache/jena/pull/4073
Rob - we're getting PRs from independent contributors and some of these accumulate extra commits from the review process. Would you mind if "squash" was re-enabled? The only way I know of to preserve the OP's contribution and name in the current setup, and have a clean history, is to retarget the PR to a repo branch, put the PR on that, pull the branch, squash it locally, then make a new PR. Doable but several steps. -- 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
