(2023-07-11, 7:10)Florent Faramond Wrote: I don't have permission to push on the git as recommended in the CONTRIBUTING.md.
The contributing.md file wasn't really supposed to be part of github yet, as it is a work in progress (references the unreleased 1.7 Beta version etc).
I just forgot to uncheck it when pushing one of the other updates.
Anyhow it talks about cloning the repository, but this should be forking when you want to contribute.
I uploaded a newer version.