jochen dba71a97a8 gitea: tell the controller which files a pull request deletes; say the dependents a merge would build (hq ADR 0238) ...

The controller asks its planner what a pull request reaches, as if merged: a module whose
manifest the change deletes is one the merge removes, and the plan's dependents are said
on the gate's status beside the modules it moves.

2026-10-06 22:34:53 +02:00

..

provisioner

A withdrawn consumer keeps its data, in every provider that holds some (hq issue 241)

2026-10-05 00:34:40 +02:00

test

gitea: tell the controller which files a pull request deletes; say the dependents a merge would build (hq ADR 0238)

2026-10-06 22:34:53 +02:00

tools

gitea: give the controller what it maps a pull request onto the graph with; set both check statuses; protect a branch by tool (hq ADR 0237)

2026-10-06 21:56:04 +02:00

client.ts

gitea: give the controller what it maps a pull request onto the graph with; set both check statuses; protect a branch by tool (hq ADR 0237)

2026-10-06 21:56:04 +02:00

index.ts

gitea: tell the controller which files a pull request deletes; say the dependents a merge would build (hq ADR 0238)

2026-10-06 22:34:53 +02:00

module.json

Check every pull request before it merges, and show the verdict on it (hq ADR 0237, to-be 45 §9)

2026-10-06 21:16:32 +02:00

package.json

Every credential provider says whether it still holds a consumer

2026-09-26 01:09:52 +02:00

protection.ts

gitea: give the controller what it maps a pull request onto the graph with; set both check statuses; protect a branch by tool (hq ADR 0237)

2026-10-06 21:56:04 +02:00

pulls.ts

gitea: tell the controller which files a pull request deletes; say the dependents a merge would build (hq ADR 0238)

2026-10-06 22:34:53 +02:00

token.ts

gitea: the tools' token carries write:admin, and a kept token is re-minted when it lacks a scope

2026-09-30 21:05:52 +02:00

tsconfig.json

gitea: give the controller what it maps a pull request onto the graph with; set both check statuses; protect a branch by tool (hq ADR 0237)

2026-10-06 21:56:04 +02:00