Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
mihaic left a comment
Looks good. I will merge it after the checks are done.
On a different note, why do you keep closing PRs and opening new ones for the same code? You know that you can simply push new commits to the same branch of your GitHub fork and they will show up in the existing PR, right? Closing a PR makes it harder to follow up on previous comments.