One risk of having the configure script checked into the repository is that
people will misunderstand that it's generated, and spend a lot of time manually
solving some problem, only to have their PR rejected because the changes are in
the wrong place.
We've seen this sort of thing from time to
Thank you everyone for the input so far. The point that json is already
widely-supported by other tooling is an excellent one; I will target json. I
will also try to retain a parser for the older format -- maybe behind a switch.
On Wed, 2 Feb 2022, at 7:26 PM, Thomas Jarosch wrote:
> Speaking
