I apologize for that. I merged this through the GitHub UI (and will likely
never do so again). We can amend the message to remove all of the noise but
that would involve using `git push --force`, which is not something I've
ever done with an Apache repo.
-Matt
On Sat, Apr 27, 2024 at 8:42 PM Gille
Hi.
Although the list of successive changes might have been meaningful in separate
commits, it seems like noise in a single one (e.g. many of them signal a change
wrt to some previous state whose trace has been lost). Obviously, repeating
"GEOMETRY-110" serves no purpose.
If possible (?), it woul