AutoMerge: Manual merge support app by GunnarFarneback · Pull Request #720 · JuliaRegistries/RegistryCI.jl

GunnarFarneback · 2026-06-18T17:17:44Z

Another app (cf. #719), this one intended to help General registry maintainers to analyze manual PRs.

Initially this app only knows how to analyze yank and repository move PRs, e.g.

$ manual_merge_analysis 155388
Analyzing PR 155388 by maleadt
Title: GPUCompiler: yank v1.11

Identified as a yank PR for GPUCompiler.

✔ Yank is syntactically correct.
✔ Yank line immediately follows a `git-tree-sha1` line.

Note: This analysis does not consider whether the right version is yanked or if there is a better alternative to yanking.

and

$ manual_merge_analysis 156011
Analyzing PR 156011 by kshyatt
Title: Update url of VectorInterface.jl

Identified as a move repository PR for VectorInterface.

Old URL: https://github.com/Jutho/VectorInterface.jl.git
New URL: https://github.com/QuantumKitHub/VectorInterface.jl.git

✔ Old URL redirects to new URL.
✔ New URL ends with `.git`.
✔ New URL starts with `https://`.
✔ Last URL part is unchanged.
✔ New URL looks normal.
✔ New URL can be git cloned.
✔ Version 0.1.0 tree hash found in cloned repository.
✔ Version 0.2.0 tree hash found in cloned repository.
✔ Version 0.3.0 tree hash found in cloned repository.
✔ Version 0.3.1 tree hash found in cloned repository.
✔ Version 0.4.0 tree hash found in cloned repository.
✔ Version 0.4.1 tree hash found in cloned repository.
✔ Version 0.4.2 tree hash found in cloned repository.
✔ Version 0.4.3 tree hash found in cloned repository.
✔ Version 0.4.4 tree hash found in cloned repository.
✔ Version 0.4.5 tree hash found in cloned repository.
✔ Version 0.4.6 tree hash found in cloned repository.
✔ Version 0.4.7 tree hash found in cloned repository.
✔ Version 0.4.8 tree hash found in cloned repository.
✔ Version 0.4.9 tree hash found in cloned repository.
✔ Version 0.5.0 tree hash found in cloned repository.

You can install the app before merge with

(@v1.12) pkg> app add AutoMerge#manualmerge

… PRs to the General registry.

codecov · 2026-06-18T17:23:40Z

Codecov Report

❌ Patch coverage is 0% with 318 lines in your changes missing coverage. Please review.
✅ Project coverage is 40.34%. Comparing base (52a3337) to head (a9d9389).

Files with missing lines	Patch %	Lines
AutoMerge/src/manual_merge.jl	0.00%	318 Missing ⚠️

❌ Your project check has failed because the head coverage (40.34%) is below the target coverage (70.00%). You can increase the head coverage or adjust the target coverage.

❗ There is a different number of reports uploaded between BASE (52a3337) and HEAD (a9d9389). Click for more details.

HEAD has 14 uploads less than BASE

Flag BASE (52a3337) HEAD (a9d9389)

24 10

Additional details and impacted files

@@             Coverage Diff             @@
##           master     #720       +/-   ##
===========================================
- Coverage   78.40%   40.34%   -38.06%     
===========================================
  Files          29       29               
  Lines        1945     2238      +293     
===========================================
- Hits         1525      903      -622     
- Misses        420     1335      +915

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

…ly registered repo names pass.

…ent.

GunnarFarneback · 2026-06-21T08:40:22Z

New feature. Running without arguments gives a list of currently open manual PRs, i.e. PRs not created by JuliaRegistrator or jlbuild. Furthermore the numbers for PRs not created by known bot accounts are highlighted in green.

GunnarFarneback · 2026-06-26T17:45:24Z

This can now analyze the following kinds of manual PRs:

move repository
change subdir
move repository and change subdir
retroactive compat changes
yank

It does not yet support new packages and new versions but those probably require some refactoring of existing AutoMerge code, so I think it would be better to try to get this reviewed and merged in its current shape. The diff is big enough as it is.

ericphanson · 2026-07-01T06:20:13Z

+    length(ARGS) > 1 && return fatal("Usage: manualmerge <PR Number>")
+
+    api = GitHub.GitHubWebAPI(URIs.URI("https://api.github.com"))
+    auth = GitHub.AnonymousAuth()


will we get rate limited? is there a way to pass a token?

Those things are outside my knowledge. It's not like this will be doing a significant number of API calls, but I have no clue about rate limitations.

IIRC, the rate limit for unauthenticated API calls is super low. It's something like 60 per hour.

I believe this requires two API calls per analyzed PR (one pull_request and one pull_request_files) . The continuation in #725 may need more, at least without tighter integration with the guideline checks.

I think we should at least have a way for users to pass in a token. As far as I can tell, the token would only need read-only access to only public repos, right?

What would be the typical way to pass in a token? A --token command line argument, an environment variable, something else?

Yes, all that's needed is to read PR information from General.

ENV is common, here's what we did in package analyzer: https://github.com/JuliaEcosystem/PackageAnalyzer.jl/blob/9ca90f7ea163db996f80febfa296c3f944cb4d53/src/utilities.jl#L6

only tangentially related but i've found the gh cli as an easy way to obtain one, fyi: https://cli.github.com/manual/gh_auth_token

AutoMerge: Initial implementation of app to support merging of manual…

cb95819

… PRs to the General registry.

GunnarFarneback added 2 commits June 21, 2026 10:33

Relax regex for normal url to allow hyphen and tilde, so that current…

d651036

…ly registered repo names pass.

List open manual PRs when running manual_merge_analysis without argum…

d440526

…ent.

Add tentative retro cap analysis.

f312cc0

GunnarFarneback force-pushed the manualmerge branch from 36e3dd9 to 21e821c Compare June 26, 2026 08:49

GunnarFarneback changed the title ~~Draft: AutoMerge: Manual merge support app~~ AutoMerge: Manual merge support app Jun 26, 2026

Support subdir change and combined repo move and subdir change PRs.

a9d9389

GunnarFarneback force-pushed the manualmerge branch from 21e821c to a9d9389 Compare June 26, 2026 17:50

GunnarFarneback mentioned this pull request Jun 30, 2026

AutoMerge: Manual merge analysis part two #725

Open

ericphanson reviewed Jul 1, 2026

View reviewed changes

Navigation Menu

AutoMerge: Manual merge support app - #720

AutoMerge: Manual merge support app#720
GunnarFarneback wants to merge 5 commits into
masterfrom
manualmerge

GunnarFarneback commented Jun 18, 2026

Uh oh!

codecov Bot commented Jun 18, 2026 •

edited

Loading

Uh oh!

GunnarFarneback commented Jun 21, 2026

Uh oh!

GunnarFarneback commented Jun 26, 2026

Uh oh!

ericphanson Jul 1, 2026

Uh oh!

GunnarFarneback Jul 1, 2026

Uh oh!

DilumAluthge Jul 1, 2026

Uh oh!

GunnarFarneback Jul 1, 2026

Uh oh!

DilumAluthge Jul 1, 2026

Uh oh!

GunnarFarneback Jul 1, 2026

Uh oh!

ericphanson Jul 1, 2026

Uh oh!

ericphanson Jul 1, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

GunnarFarneback commented Jun 18, 2026

Uh oh!

codecov Bot commented Jun 18, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

GunnarFarneback commented Jun 21, 2026

Uh oh!

GunnarFarneback commented Jun 26, 2026

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

codecov Bot commented Jun 18, 2026 •

edited

Loading