Skip to content

Conversation

@SebastienGllmt
Copy link
Contributor

I tried to fix the merge conflicts in #91 by pushing to Mitch's upstream repo. It seems Github introduced a new feature that automatically closes PRs based off certain conditions and it seems their feature is a terribly broken mess.

I recreated this PR to keep track of the proposed changes

@SebastienGllmt SebastienGllmt added the enhancement New feature or request label Aug 2, 2022
@gostkin
Copy link
Contributor

gostkin commented Dec 18, 2023

@SebastienGllmt are we going to do anything related to this pr?

@SebastienGllmt
Copy link
Contributor Author

I don't remember if this PR worked perfectly or not.

I remember properly writing tests for Carp was tricky, but I don't remember if this solved all the issues or not

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants