Re: [Spice-devel] SPICE: contributor guidelines

2020-06-22 Thread Frediano Ziglio
> > Hi SPICE community! > After thinking a while on the discussion in the thread: > "SPICE: changing the merge rules - a proposal" > I would like to come back on the topic and make explicit the way merge > requests, changes and reviews are expected to be managed in our > community. The core po

[Spice-devel] SPICE: contributor guidelines

2020-06-11 Thread Francesco Giudici
Hi SPICE community! After thinking a while on the discussion in the thread: "SPICE: changing the merge rules - a proposal" I would like to come back on the topic and make explicit the way merge requests, changes and reviews are expected to be managed in our community. The core points that see