Skip to content

provide new repo name when updating a repo URL in move detection#329

Merged
MoralCode merged 1 commit into
mainfrom
bug/repo_name
May 20, 2026
Merged

provide new repo name when updating a repo URL in move detection#329
MoralCode merged 1 commit into
mainfrom
bug/repo_name

Conversation

@MoralCode
Copy link
Copy Markdown
Contributor

@MoralCode MoralCode commented May 19, 2026

Description
This PR fixes #310

Notes for Reviewers
Have yet to test, testing should be pretty easy though:

  1. build and run the latest version
  2. add a repo that is known to have moved elsewhere
  3. verify that the old name is present in the DB repo table as soon as it is added
  4. wait for the move detection task to complete and verify that the new name is now present.
  5. ensure collection goes fully

marking draft until i can test this

Signed commits

  • Yes, I signed my commits.

Signed-off-by: Adrian Edwards <adredwar@redhat.com>
@MoralCode
Copy link
Copy Markdown
Contributor Author

testing with https://github.com/docker/community (known moved url)

@MoralCode MoralCode marked this pull request as ready for review May 20, 2026 19:51
@MoralCode
Copy link
Copy Markdown
Contributor Author

Works on my machine per procedure above

@MoralCode MoralCode merged commit ba04ba3 into main May 20, 2026
16 checks passed
@MoralCode MoralCode deleted the bug/repo_name branch May 20, 2026 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Repo name is not updated when url is updated after a repo move

1 participant