Hi all! My colleague has installed the Pulumi GitHub App for our team to connect to our entire repo but it still shows up a necessary for me to install: