06:33 <PaulFertser> borneoa_: hey :) I added you as a reviewer for the website blog patch, I wonder if you received a notification e-mail.

06:36 <olerem> borneoa_: hi, you have more expiriance with the new interface. Have you noticed "Relation chain" vie changes after mergin one patch of long tail of patches? And did you had inactive "submit" button issue after previous patch from the chain is merged?

09:13 <Haohmaru> hm, is the windows version of openocd made with cygwin?

09:20 <PaulFertser> Haohmaru: no

09:20 <PaulFertser> Haohmaru: why do you ask?

09:20 <Haohmaru> saw cygwin mentioned in the faq

09:21 <PaulFertser> Was the wording confusing?

09:21 <PaulFertser> tarekb: hey! How are you doing? :) If you think I should change anything in the current infra, please tell so.

09:21 <Haohmaru> "Missing: cygwin1.dll OpenOCD complains about a missing cygwin1.dll. - Make sure you have Cygwin installed, or at least a version of OpenOCD that claims to come with all the necessary DLLs. When using Cygwin, try launching OpenOCD from the Cygwin shell."

09:23 <PaulFertser> I think it implies that you can be not using it too?

09:23 <Haohmaru> yes

09:24 <tarekb> Hi PaulFertser: everything is green, I was preparing a patch to the HACKING file to switch to the new gerrit address to avoid redirections

09:26 <tarekb> Haohmaru: are you talking about the binary built in github ? if so, it's cross-compiled on linux so no dependency on cygwin

09:27 <PaulFertser> tarekb: there's something strange about your account apparently. I just added you as a reviewer to a website patch but no mail was sent.

09:27 <Haohmaru> nothing in particular, if it happened to be "tied" to only working with cygwin, i was gonna suggest you could maybe look into this midipix thing

09:27 <Haohmaru> but it's not, so..

09:28 <PaulFertser> Haohmaru: openocd can run as a native windows applications since like forever.

09:28 <Haohmaru> i've only used it on debian ;P~

09:31 <tarekb> PaulFertser: maybe that was caused by the OpenID account ! ?

09:32 <PaulFertser> tarekb: do you have several? I can merge accounts easily now.

09:32 <PaulFertser> tarekb: ah, the new openid account? Hm, let me check.

09:32 <PaulFertser> tarekb: no, it was in "testing" database

09:34 <tarekb> PaulFertser: then nothing strange, I have all in one place (my ST, gmail, and github identities are all merged)

09:34 <tarekb> maybe a glitch

09:35 <tarekb> now I can see that you have added me as reviewer

09:37 <PaulFertser> tarekb: you have " emailStrategy = disabled " in your user config

09:38 <PaulFertser> tarekb: now we should all be able to simply send changes to website for review the regular way and hopefully on submit the website will be automatically regenerated and updated.

09:40 <PaulFertser> tarekb: btw, so far gerrty (from git master) feels nice, the only shortcoming is that it doesn't support adding reviewers. But it can be fully used for reviewing without Internet and syncs automatically.

09:44 <tarekb> I have tried it, but I faced a minor issue with proxy (I'm behind company firewall) this causes headaches sometime, I will give it another try todyda

09:44 <tarekb> PaulFertser, I have updated the HACKING here https://review.openocd.org/c/openocd/+/6481

09:44 <tarekb> please feel free to review

09:46 <PaulFertser> tarekb: did you find that email no notifications settings in the general section of your account config?

09:47 <tarekb> yes PaulFertser: I have updated it, Email notfication was defaulted to none, now I have configured it to every comment

09:48 <PaulFertser> tarekb: I'm happy to assist with gerrty, and its devs seem to be quite responsive too. They're using python "requests" library, so whatever it takes to make it work through the proxy should be straightforward, and I can take a look at the docs and code. Are you behind a regular HTTP corporate proxy? What kind of auth does it need?

09:49 <PaulFertser> tarekb: every comment would mean you'd receive notifications for your comments too probably, I see 4 options for email_strategy here: https://gerrit-review.googlesource.com/Documentation/rest-api-accounts.html

09:49 <PaulFertser> Wonder if it matches the UI reasonably.

09:52 <PaulFertser> tarekb: gertty just showed me your HACKING change conflicts with 4918 , and that one looks like a nice one, should be probably apply it too?

09:54 <tarekb> PaulFertser: I remeber this one, I even tested it at the time

09:55 <tarekb> this should be applied, let give 4918 a higher priority, I can rebase later

09:56 <PaulFertser> I see about 10 people who set really extensive watches and get notification about every review, every comment. Guess the mail gets in their Spam since long.

09:57 <PaulFertser> And I manually removed one nxp address as their server was saying there's no account.

09:59 <tarekb> PaulFertser: I have solved the issue of gerrty, in fact the new gerrit instance changed my username from 'bouchkati' to 'BouchkatiTarek', strange but I have fixed my .netrc and .gerrty.yaml

09:59 <PaulFertser> tarekb: I think gerrty should work by just settting export https_proxy="http://user:pass@10.10.1.10:1080" for your corporate proxy

10:00 <tarekb> PaulFertser: I have added a rul in outlook to put all the openocd email in one folder, and I do a checkup every morning

10:01 <tarekb> the wide proxy is set correctly in my .bashrc, as said it was a bad username, IDK why the new gerrit changed it

10:02 <PaulFertser> tarekb: yes, you have two external usernames configured for whatever reason, probably from my earlier merging of your accounts.

10:04 <PaulFertser> Database conversion might have affected the order.

10:25 <PaulFertser> gertty showed the comment on the wrong line huh :)

10:27 <PaulFertser> But Change-Id should be enforced I guess if we plan to really review the website patches.

10:29 <tarekb> you are right, I forgot the Change-ID

10:33 <tarekb> gerrty is now working but it's taking too much time to sync

10:33 <tarekb> I can see only two change

10:33 <tarekb> and multiple warnings "Unable to sync conflicts for change ...."

10:35 <PaulFertser> tarekb: I pushed to openocd-org without Change-ID deliberately to test how it goes.

10:35 <PaulFertser> tarekb: but it's syncing just once

10:35 <PaulFertser> tarekb: are you using master version?

10:37 <tarekb> I have used the one from debian package

10:38 <tarekb> should I'v used the master

10:38 <tarekb> ?

10:43 <PaulFertser> tarekb: yes, only the master has "diff" not crashing with 3.4.0. And it's fairly non-intrusive if you use python virtualenv.

10:46 <PaulFertser> I'm so used to either j/k or C-n/C-p that gertty's use of cursor keys is confusing :)

14:34 <PaulFertser> The website https://openocd.org should be nicely available with HTTPS now, and automatically redirected from HTTP.

14:36 <Haohmaru> fancy

14:37 <boru> It's serving TLS 1.2, though.

14:37 <Haohmaru> so i read somewhere that the DAP debugger maybe gets 64kb/sec over the USB effectively

14:38 <boru> Site looks good, though.

14:49 <PaulFertser> Thank you for testing.

14:54 <boru> Hmm, the alt-names in the certificate look a bit funny, also. My recommendation would be TLS 1.3 with at least a 4096b RSA key, going by modern keysizes recommendations, but I am being a pedantic shite now.

14:54 <PaulFertser> boru: :) the website is currently hosted by sourceforge, that's why the alt-names are like that.

14:55 <boru> Ah, it's not under your control -- I see now that it's an SF cert.

14:55 <boru> Yeah, sorry. I just realised that.

14:55 <PaulFertser> boru: we can self-host it but otoh we can switch away from their hosting at any moment.

14:55 <PaulFertser> And they have plenty of servers while we just one.

14:56 <PaulFertser> So to me it's not clear why we shouldn't be using their hosting.

15:00 <boru> No no, I just meant the TLS key and certficiate used for HTTPS, not the server itself.

15:03 <PaulFertser> I understand but if we host on SF.net we have no control over that. If that's unacceptable, we should self-host.

15:04 <boru> I thought it was something you had control over until I realised it was an SF certificate, that's all.

15:05 <boru> I don't think it's a big deal, I just mentioned some minor ways it could be improved _if_ you had control over it.

15:06 <PaulFertser> Right, thank you for paying close attention to the details.

16:23 <PaulFertser> One essential downside of hosting the website on SF.net is that it's unavailable via IPv6.

17:20 <antto> wot?!

21:43 <karlp> "essential" :)

22:18 <xameer> How relevant is openocd in verifying free RTOS with AWS?

22:19 <xameer> Or mbed for that matter

23:00 <karlp> what does "verifying" mean in this context?