Skip to content

Conversation

@Wulf
Copy link
Owner

@Wulf Wulf commented Oct 28, 2023

@hasezoey
Copy link
Collaborator

hasezoey commented Oct 29, 2023

i think most of these fixer changes could be done without being based on another PR's code, it would also help to review this PR while that required PR is not yet merged

PS: converting to WIP because of requirement PR

@hasezoey
Copy link
Collaborator

hasezoey commented Nov 7, 2023

when you rebase this PR, do you want to use #112's fixes instead of the ones done here?

@Wulf
Copy link
Owner Author

Wulf commented Nov 18, 2023

yeah, going to close this. Let's drop in #112 on main instead of this.

@Wulf Wulf closed this Nov 18, 2023
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.

3 participants