@echoing-dinner-19531 Hi 👋🏻 If you have some time to give me a quick estimation if my PR https://github.com/pulumi/pulumi/pull/14822 has any change to get merged this would great, because if this would be the case, then I would start updating the zillon 😄 integration tests for the docs generator. When you don't have any time it would be awesome if you pass my request to someone else. Not sure who else is qualified for this in the Pulumi team.
12/14/2023, 5:02 PM
Not a part of the codebase I'm super confident about. Probably need to loop in some others here.
cc @hallowed-gold-28563@enough-garden-22763@ancient-policeman-24615 as my best guesses for possibly having more context here
12/14/2023, 5:06 PM
@echoing-dinner-19531 THX for the quick reply. Much appreciated! Perhaps someone of the mentioned people could have look then. Didn't have much luck though with my request to @hallowed-gold-28563 from the 12/4 here in #contribute about another docs related issue.