https://pulumi.com logo
a

average-greece-53878

07/19/2021, 4:38 PM
According to these docs, Pulumi is using an archived provider for GitHub. Should it be using this one?
b

billowy-army-68599

07/19/2021, 4:46 PM
yes, nice catch! could you open an issue for us?
a

average-greece-53878

07/19/2021, 4:57 PM
done. it's very short
2 Views