public inbox for gentoo-proxy-maint@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-proxy-maint] GitHub PR review procedure
@ 2025-07-27 16:51 Dwosky
  2025-07-28  6:52 ` Viorel Munteanu
  0 siblings, 1 reply; 2+ messages in thread
From: Dwosky @ 2025-07-27 16:51 UTC (permalink / raw
  To: gentoo-proxy-maint@lists.gentoo.org

[-- Attachment #1: Type: text/plain, Size: 497 bytes --]

Hello,

I'm aware of the high load of PR reviews over Gentoo repo and that it can take some time to merge the least important ones, but I was wondering what's the best way of notifying the team in charge of those reviews when the PR is somewhat old.

Just to avoid going back and forth, this is the PR I would like to be merged: https://github.com/gentoo/gentoo/pull/41843, but ideally I would love to understand the process of notifying the team (if its required) for these cases.

Cheers,
Peter.

[-- Attachment #2: Type: text/html, Size: 1394 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2025-07-28  6:52 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-07-27 16:51 [gentoo-proxy-maint] GitHub PR review procedure Dwosky
2025-07-28  6:52 ` Viorel Munteanu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox