Spørgsmål om github etikette

Jeg er i den situation, at en Chrome extension jeg brugte stort set hver dag endnu ikke er opdateret til manifest v3, og derfor ikke længere er tilgængelig i Chrome Webstore. Chrome "slukker" også selv for udvidelsen hvis den er installeret.

Jeg fandt frem til kildekoden på github, og med lidt assist fra LLM formåede jeg at lave et pull request for en uge siden, der migrerer udvidelsen til manifest v3, og forhåbentlig gør udvidelsen tilgængelig på Chrome Webstore igen. Udvidelsen blev sidst opdateret for 4 år siden, og jeg tænker udvikleren har travlt med andre ting i sit liv.

Da det er det første pull request i min github karriere, så jeg ved ikke helt hvordan etiketten er omkring det. Er det ok at skrive en email til udvikleren for at gøre opmærksom på mit pull request? Hvis det ikke giver pote, ville det så være dårlig stil at frigive den selv, hvis man giver originaludvikleren credit? Der er ingen licens vedhæftet koden i github.