[github] fix selector for github.com PR page

filiptronicek · filiptronicek · commit 1ac57c44b9c1 · 2025-08-06T15:55:47.000+02:00
diff --git a/src/button/button-contributions.ts b/src/button/button-contributions.ts
@@ -318,7 +318,7 @@ export const buttonContributions: ButtonContributionParams[] = [
     {
         id: "gh-pull",
         exampleUrls: ["https://github.com/svenefftinge/browser-extension-test/pull/2"],
-        selector: "#partial-discussion-header > div.gh-header-show > div > div",
+        selector: "#partial-discussion-header div.gh-header-show > div > div",
         containerElement: createElement("div", {
             order: "2",
         }),

Original file line number	Diff line number	Diff line change
`@@ -318,7 +318,7 @@ export const buttonContributions: ButtonContributionParams[] = [`
`318`	`318`	`{`
`319`	`319`	`id: "gh-pull",`
`320`	`320`	`exampleUrls: ["https://github.com/svenefftinge/browser-extension-test/pull/2"],`
`321`		`- selector: "#partial-discussion-header > div.gh-header-show > div > div",`
	`321`	`+ selector: "#partial-discussion-header div.gh-header-show > div > div",`
`322`	`322`	`containerElement: createElement("div", {`
`323`	`323`	`order: "2",`
`324`	`324`	`}),`