gitea: announce a merge once, and read every page of its changed files (hq issues 250, 252) #63

Merged

mesh-admin merged 3 commits from fix/a-merge-is-announced-once into main

2026-10-05 15:55:54 +00:00

Author	SHA1	Message	Date
jochen	45507c3d5c	gitea: test that a pull request's files are read past the forge's page cap	2026-10-05 17:47:36 +02:00
jochen	63e53f4622	gitea: read every page of a pull request's changed files The forge caps a page at fifty when asked for a hundred, so a large merge's file list was cut short and reported whole: a module whose own files moved was not rebuilt. Read until a page comes back short. hq issue 252.	2026-10-05 17:46:54 +02:00
jochen	85352c8d6f	gitea: announce a merge once, from the poll The merge tool announced pull.merged and so did the poll added for issue 131, so every merge made through the tool reached the controller twice. The poll sees every path and carries the clone url; it is now the only emitter. hq issue 250.	2026-10-05 17:39:01 +02:00

Author

SHA1

Message

Date

jochen

45507c3d5c

gitea: test that a pull request's files are read past the forge's page cap

2026-10-05 17:47:36 +02:00

jochen

63e53f4622

gitea: read every page of a pull request's changed files

The forge caps a page at fifty when asked for a hundred, so a large merge's
file list was cut short and reported whole: a module whose own files moved
was not rebuilt. Read until a page comes back short. hq issue 252.

2026-10-05 17:46:54 +02:00

jochen

85352c8d6f

gitea: announce a merge once, from the poll

The merge tool announced pull.merged and so did the poll added for issue
131, so every merge made through the tool reached the controller twice.
The poll sees every path and carries the clone url; it is now the only
emitter. hq issue 250.

2026-10-05 17:39:01 +02:00