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

fix: soft links should remain the same #201

Merged

Conversation

nichmor
Copy link
Contributor

@nichmor nichmor commented Jun 26, 2024

This PR aims to fix this issue: #202.

.sh script is placed temporarily to show what it is expected result and should be deleted after PR is approved

@Pr0methean Pr0methean added waiting to be automatically merged If this PR isn't automatically merged, suspect a broader issue. and removed Please sign your commit labels Jul 6, 2024
@nichmor
Copy link
Contributor Author

nichmor commented Jul 9, 2024

hey @Pr0methean ! thanks a lot for reviewing it.
Can you please suggested me what should be done to be able to automatically merge it?

@Pr0methean
Copy link
Member

It will be merged in a few days. I'm currently creating a new seed corpus to speed up the fuzz tests, and it's a slow process.

Fernthedev added a commit to QuestPackageManager/QPM.CLI that referenced this pull request Jul 15, 2024
@Pr0methean Pr0methean added this pull request to the merge queue Jul 16, 2024
Fernthedev added a commit to QuestPackageManager/QPM.CLI that referenced this pull request Jul 16, 2024
@Pr0methean Pr0methean removed this pull request from the merge queue due to a manual request Jul 16, 2024
@Pr0methean Pr0methean added this pull request to the merge queue Jul 17, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Jul 17, 2024
@Pr0methean Pr0methean added this pull request to the merge queue Jul 18, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Jul 18, 2024
@Pr0methean Pr0methean added this pull request to the merge queue Jul 18, 2024
Merged via the queue into zip-rs:master with commit 6106a2b Jul 18, 2024
38 checks passed
@Pr0methean Pr0methean removed the waiting to be automatically merged If this PR isn't automatically merged, suspect a broader issue. label Jul 18, 2024
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.

2 participants