Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Repository update with no changes: cache part #5146

Merged
merged 4 commits into from
Sep 20, 2022

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented May 19, 2022

Sequel of #5043 : if the is no changes in all updated repositories, do not write the unmodified repos-config & cache.

@rjbou rjbou added the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label May 19, 2022
@rjbou rjbou added this to the 2.2.0~alpha milestone May 19, 2022
@rjbou rjbou added this to PR in progress in Opam 2.2.0 via automation May 19, 2022
@rjbou rjbou force-pushed the update-no-changes-cache-part branch 2 times, most recently from 56c6508 to 5620ad5 Compare May 19, 2022 14:19
@rjbou rjbou moved this from PR in progress to PR to review in Opam 2.2.0 May 19, 2022
@rjbou rjbou removed the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label May 23, 2022
@rjbou rjbou force-pushed the update-no-changes-cache-part branch from 5620ad5 to 8ff953e Compare July 19, 2022 10:01
@rjbou rjbou force-pushed the update-no-changes-cache-part branch from 8ff953e to aad855f Compare August 31, 2022 20:04
master_changes.md Outdated Show resolved Hide resolved
master_changes.md Outdated Show resolved Hide resolved
@rjbou rjbou force-pushed the update-no-changes-cache-part branch from 4337800 to e2e5ca4 Compare September 20, 2022 16:06
@rjbou rjbou force-pushed the update-no-changes-cache-part branch from e2e5ca4 to 1e851a8 Compare September 20, 2022 16:11
@kit-ty-kate
Copy link
Member

Thanks!

@kit-ty-kate kit-ty-kate merged commit 59fda99 into ocaml:master Sep 20, 2022
Opam 2.2.0 automation moved this from PR to review to Done Sep 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Opam 2.2.0
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants