Replies: 1 comment 1 reply
-
|
I just merged it. I was busy with some IRL stuff. It's ok to post a new comment or @ me on a PR or issue if you haven't received any feedback in a while. I work on a lot of projects, so I won't always be able to get back to you right away. |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
I don't want to bother you about that, but you were committing other stuff already. Also didn't know if you got notifications from comments on pull requests, good to know. |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
My pull request is a few days old. Is it not going to be merged or should I close it so I can merge the current changes?
Beta Was this translation helpful? Give feedback.
All reactions