Skip to content
Snippets Groups Projects

Add script for keeping local repos up-to-date in an efficient way

Merged Kristian Klausen requested to merge repo-syncer into master

This adds a simple script for keeping local package repos up-to-date in a relatively efficient and quick manner. We could of course just do a pull for every repo, but some quick tests indicate that this can take more than 20 minutes (13k repos), even with parallelization.

This is much faster as it only pulls repos with activity since the last run.

The quality of the script is not great as it is considered a temporary solution. The permanent solution should probably be implemented in pkgctl, perhaps as part of the existing "pkgctl repo pull" MR[1].

[1] devtools!235

Merge request reports

Merged by Kristian KlausenKristian Klausen 1 month ago (Jan 3, 2025 11:21pm UTC)

Merge details

  • Changes merged into master with 93e23a4c.
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading