Thanks again for your feedback. As we have a consensus, I'm moving forward:
1. I will create a PR to update resources to use main instead of
master (mainly the .github/workflows/* files)
2. I will do a pass on the website/doc repository to create PRs there
if needed as well (renaming master to mai
+1
On Wed, Oct 4, 2023, 3:08 PM Julien Le Dem
wrote:
> +1
>
> On Mon, Oct 2, 2023 at 11:09 PM Fokko Driesprong wrote:
>
>> Big +1!
>>
>> Thanks for raising this JB!
>>
>> Kind regards,
>> Fokko
>>
>> Op di 3 okt 2023 om 07:56 schreef Jean-Baptiste Onofré :
>>
>>> Thanks all for your feedback.
>
Thanks everyone who participated in the vote.
The result is:
+1: 4 (binding), 5 (non-binding)
+0: 0 (binding), 0 (binding)
-1: 0 (binding), 0 (binding)
Therefore, the release candidate is passed.
On 2023/10/02 13:27:24 Eduard Tudenhoefner wrote:
> +1 (non-binding)
>
> * validated checksum and
+1
On Mon, Oct 2, 2023 at 11:09 PM Fokko Driesprong wrote:
> Big +1!
>
> Thanks for raising this JB!
>
> Kind regards,
> Fokko
>
> Op di 3 okt 2023 om 07:56 schreef Jean-Baptiste Onofré :
>
>> Thanks all for your feedback.
>>
>> I will prepare the renaming then, I will keep you posted.
>>
>> Reg
