Re: GitHub NuttX master branch protections

2025-05-08 Thread Nathan Hartman
Thank you so much Tomek! On Thu, May 8, 2025 at 5:54 PM Tomek CEDRO wrote: > Okay, we have now master branch protection in place for NuttX GitHub repo > :-) > > I am sorry for any inconvenience and troubles caused in a short window > of testing! > > If all works okay, please let me know, also if

Re: GitHub NuttX master branch protections

2025-05-08 Thread Tomek CEDRO
Okay, we have now master branch protection in place for NuttX GitHub repo :-) I am sorry for any inconvenience and troubles caused in a short window of testing! If all works okay, please let me know, also if there are any other updates required! When all works as expected I will apply similar pr

Re: GitHub NuttX master branch protections

2025-05-07 Thread Tomek CEDRO
Alllright, so we merged that change and we have two problems. I have already contacted Apache Infra for support :-) 1. strict:true makes all PR require to be rebased each time master is updated. That puts additional work on committers and eats up precious CI resources as we have seeral master merg

Re: GitHub NuttX master branch protections

2025-05-06 Thread Nathan Hartman
Looks good and looks like it has been merged! Thank you Tomek for tackling this!!! Cheers, Nathan On Tue, May 6, 2025 at 4:46 PM Tomek CEDRO wrote: > Thank you Nathan :-) > > I have talked with @Humbedooh on Slack, he said the config looks okay :-) > > I am not really sure about this "contexts"

Re: GitHub NuttX master branch protections

2025-05-06 Thread Tomek CEDRO
Thank you Nathan :-) I have talked with @Humbedooh on Slack, he said the config looks okay :-) I am not really sure about this "contexts" part, particularly the exact naming convention in GitHub, so I am leaving this for now and hope it wont break anything :-) contexts: - Check

Re: GitHub NuttX master branch protections

2025-05-06 Thread Nathan Hartman
Hello Tomek :-) Thanks for doing that! I have found that the easiest/quickest way to talk to the Infra folks is by Slack [1]. If you don't want to use Slack, you can write to Infra's users list (also see [1]). I recommend to try slack, but either way, give them the link to the PR and ask nicely