FBXL5 wrote: ↑Fri Jun 17, 2022 8:49 am
I had a look at the GitHub wiki and so far it's not my cup of tea. It does neither invite to use nor to edit.
Sadly GitHub is the way most program are developed in a multiuser scenario.
If the goal is to maintain things, in decentralized way and to merge different modification from different people in the same file, this is the "only viable solution" to use.
It is not very user friendly at a first glance, but has enormous advantages once learned to use it, on of the many it maintain history of changes, so it is very easy to revert to e prior state if someone has done a mess.
Roy_043 wrote: ↑Thu Jun 16, 2022 7:18 pm
And there is also the proposed transition of the documentation to GitHub...
Proposed?
There is not already a GitHub repo?
Regards
Carlo D.