This mailing list is appropriate for discussions. You are welcome to create a Jira ticket but I think it might be best to wait until a good description section can be filled out with a summary of changes since most people only read that.
Gary On Fri, Jan 27, 2023, 17:25 Thomas De Waelheyns <[email protected]> wrote: > Thanks Gary, > > I'll see what I can do in terms of creating a PR with some documentation > improvement. With regards to this i'm trying out some scenarios based on > the current documentation to clarify thing for myself. Yet I encounter > some strange behaviour with different install scripts I would like to > discuss before altering any documentation. Where is the best place to do > this? Should I create a Jira ticket for the documentation improvement, > to later refer to in the pull request, and discuss it there? Or best > here on the mailing list? I'm asking because it will contain command > line scripts. > > Kind regards, > > Thomas > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
