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.

Sign up for GitHub

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

Jump to bottom

Fix ops::package leaving old path in created FileLockGuard #792

Merged
merged 1 commit into from
Oct 16, 2023
Merged

Fix ops::package leaving old path in created FileLockGuard #792

merged 1 commit into from
Oct 16, 2023

Conversation

mkaput
Copy link
Member

@mkaput mkaput commented Oct 12, 2023 •
edited
Loading

This was referenced Oct 12, 2023
Merged
Closed
Merged
Merged
Merged
@mkaput mkaput requested a review from maciektr October 12, 2023 15:16
github-merge-queue bot pushed a commit that referenced this pull request Oct 16, 2023
@mkaput
Implement base data models for registry index (#767)
658fb89 
**Stack**:
- #794
- #793
- #790
- #792
- #783
- #767 ⬅


⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@mkaput mkaput force-pushed the spr/main/d57e36fd branch from 90fcd2f to 5acc502 Compare October 16, 2023 08:56
@mkaput mkaput force-pushed the spr/main/63588ff9 branch from cb730f7 to 7782168 Compare October 16, 2023 08:56
github-merge-queue bot pushed a commit that referenced this pull request Oct 16, 2023
@mkaput
Implement Checksum and Digest mechanisms (#783)
e5b673a 
**Stack**:
- #793
- #790
- #792
- #783 ⬅


⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
Base automatically changed from spr/main/63588ff9 to main October 16, 2023 09:33
@mkaput mkaput mentioned this pull request Oct 16, 2023
Merged
@mkaput mkaput force-pushed the spr/main/d57e36fd branch from 5acc502 to 6777b6c Compare October 16, 2023 11:38
@mkaput mkaput enabled auto-merge October 16, 2023 11:39
@mkaput mkaput added this pull request to the merge queue Oct 16, 2023
Merged via the queue into main with commit f803c6c Oct 16, 2023
@mkaput mkaput deleted the spr/main/d57e36fd branch October 16, 2023 12:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@maciektr maciektr maciektr approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mkaput @maciektr