Marco Köpcke

Is there anything I need to do to get this reviewed? Did I miss any process?

Is there at least a workaround for this? It seems even classes (the classes itself not the instances!) can't be tested against protocols: ```py from typing import Protocol class AProtocol(Protocol):...

Hi! I would also be ready to help, I'm not super familiar with this project yet, aside from some minor work for adding autolink references (#2016), but I would still...

Yes, as of now this is all a bit obscure and experimental sadly (searching for "No native to managed transition for method" yields 1 result...) I tried converting most of...

I found a """"""""solution"""""""" for this. It relies on hardcoded static wrapper functions. But maybe this could be a first step. https://github.com/NLua/KeraLua/compare/main...theCapypara:pmdc-wasm-compat?expand=1

Yes I also noticed this after manually changing the limit (although I found it weird that it is not explained in the AWS docs that deleting repositories via the Docker...

No, ECR complains that the limit parameter used is too high. Lowering it below 1000 works. We only have a couple images.

I agree, but I can't really think of an easy way of doing that.

Hm, I think it might be moe straight-forward then to just manually include the ping? This would also be easier for users not familiar with the mechanics of the bridge...

Replaced by #850