2024-08-27 17:55:03 +02:00
..
.
2024-07-07 21:12:40 +02:00
.
2024-07-07 21:12:40 +02:00
.
2024-07-07 21:12:40 +02:00
.
2024-07-10 10:14:56 +02:00
.
2024-08-19 17:14:20 +02:00
wip
2024-08-27 17:55:03 +02:00

PR Review bot

Keeps ProjectGit PR in-sync with a PackageGit PR

Areas of Responsibility

  • Detects a PackageGit PR creation against a package and creates a coresponsing PR against the ProjectGit
  • When a PackageGit PR is updated, the corresponding PR against the ProjectGit is updated
  • Stores reference to the PackageGit PR in the headers of the ProjectGit PR comments, for later reference
    • this allows ProjectGit PR to be merged to seperated later (via another tool, for example)
  • Initiates all staging workflows via review requests

Target Usage

Any project (devel, etc) that accepts PR