16:27 <borneoa__> PaulFertser: hello. The repository in github got out of sync 2 weeks ago. Do you have any idea how to solve it?

16:44 <PaulFertser> borneoa__: duh, I know why, thank you, will fix today

16:53 <borneoa__> PaulFertser: thank you

17:02 <PaulFertser> borneoa__: is it ok now?

17:06 <borneoa__> PaulFertser: YES! And also the fix for the github actions is ok and we finally have a build after almost a month. Thank you. And thanks to Erhan for the fix

17:07 <PaulFertser> borneoa__: I asked erhan to contribute upstream after we figured their esp32 windows binaries are lacking hidapi.

17:08 <PaulFertser> borneoa__: I guess you heard about the github rsa key rollover too but somehow I totally missed to think about OpenOCD auto-syncing to github.

17:09 <PaulFertser> So I suggested him to join forces and make github actions build useful to everybody who needs windows releases.

17:20 <PaulFertser> borneoa__: hm, https://github.com/openocd-org/openocd/pulls people keep sending "github pull requests"

17:25 <PaulFertser> Looks like we can use https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/managing-a-branch-protection-rule to disable github pull requests altogether

18:21 <borneoa__> PaulFertser: yes, the change in RSA key. I didn't though about it. After Erhan patch I noticed the failure on GitHub actions, but I didn't check the date of last tentative

18:34 <PaulFertser> I thought Tarek is keeping an eye on them.

18:35 <PaulFertser> But all in all, guess everything's fine. Someone noticed the issues, everything got fixed in reasonable timeframe, everybody's happy.