Due to personal reasons, I won't be able to continue with this feature. What should I do? Do I just leave this pull request open? Do I close it?

@gustavo-silva-serra It looks like a couple devs are interested in this, so if you were to continue with it, there's a good chance it could be merged eventually. I don't know what the "right" thing to do is. If you decide to close it, you can still reopen it later if you decide to continue working on it.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.