Skip to content

Conversation

mafredri
Copy link
Member

This option is no longer required since we can change magicdir.

@mafredri mafredri self-assigned this Sep 10, 2024
@mafredri mafredri requested a review from johnstcn September 10, 2024 08:10
@mafredri mafredri force-pushed the mafredri/remove-remote-repo-dir branch from cf2969c to 3b5e84c Compare September 10, 2024 08:11
Copy link
Member

@johnstcn johnstcn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tested and passing with required provider changes 👍

@mafredri mafredri merged commit b7781d8 into main Sep 10, 2024
4 checks passed
@mafredri mafredri deleted the mafredri/remove-remote-repo-dir branch September 10, 2024 08:28
johnstcn pushed a commit that referenced this pull request Sep 26, 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