Skip to content

Replace removeDirectoryRecursive with a more robust removePathForcibly#11604

Merged
mergify[bot] merged 1 commit into
masterfrom
removePathForcibly
Mar 16, 2026
Merged

Replace removeDirectoryRecursive with a more robust removePathForcibly#11604
mergify[bot] merged 1 commit into
masterfrom
removePathForcibly

Conversation

@Bodigrim

Copy link
Copy Markdown
Collaborator

Fixes #11591.

Template Α: This PR modifies behaviour or interface

Include the following checklist in your PR:

@Bodigrim Bodigrim force-pushed the removePathForcibly branch from 5c4252c to 44f9dbc Compare March 11, 2026 23:09
Comment thread cabal-install/src/Distribution/Client/VCS.hs Outdated
Comment thread Cabal/src/Distribution/Simple/Register.hs
Comment thread cabal-install/src/Distribution/Client/CmdClean.hs
@Bodigrim Bodigrim force-pushed the removePathForcibly branch 3 times, most recently from d364a84 to 0dfc82a Compare March 13, 2026 19:46
@Bodigrim Bodigrim added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Mar 13, 2026
@mergify mergify Bot added the ready and waiting Mergify is waiting out the cooldown period label Mar 13, 2026
@Bodigrim Bodigrim mentioned this pull request Mar 14, 2026
6 tasks
@mergify mergify Bot added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days queued labels Mar 15, 2026
@mergify

mergify Bot commented Mar 15, 2026

Copy link
Copy Markdown
Contributor

Merge Queue Status

This pull request spent 1 hour 42 minutes 50 seconds in the queue, including 1 hour 32 minutes 18 seconds running CI.

Required conditions to merge

mergify Bot added a commit that referenced this pull request Mar 15, 2026
@mergify mergify Bot merged commit 46acb86 into master Mar 16, 2026
252 checks passed
@mergify mergify Bot deleted the removePathForcibly branch March 16, 2026 00:58
@mergify mergify Bot removed the queued label Mar 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Replace removeDirectoryRecursive with removePathForcibly

3 participants