Skip to content

Time to address the elephant in the room: There are too few users with PR merging rights who merge PRs. #333585

@DandelionSprout

Description

@DandelionSprout

#333536 makes me think the time is right.

Essentially:

  • Only 1¼ admin ever goes through packages (Stephen Gillie, with the ¼ being denelon).
  • PRs for new packages average well over a week before they get merged… and that's when counting from after the PRs first get their Validation-Completed tags.
  • Tags that were (IIRC) never intended to be blockage causes, have ended up becoming ones because they result in processing times of ≥4 weeks. Validation-No-Executables is the most severe example (with # 329209 elaborating partially on it).
  • PR processing times for new packages have got long enough that there's a fully possible risk that the devs have updated the download link URL upstream before the PRs get looked into. Most things related to KDE comes to mind, for instance # 332112.
  • Winget-pkgs PR submitters on GitHub can't be expected to join the ElementIO server to have their PRs processed.
  • Processing times are long enough that admins can't remove incorrectely given blockage tags in time on PRs that aren't actually blocked, before the pipelines auto-close the issues due to time limits (See # 329263 and # 333533).

The 2 possible solutions are the same as in similar cases throughout GitHub where PR backlogs have got out of control:

  1. Give additional users PR merge rights.
  2. Have additional users with existing merge rights go through the open PRs on a weekly-or-more-often (per user) basis.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions