clach04
commented
1 year ago Thanks @rshah713 for taking the time to review!
I took at look at the organization space https://github.com/orgs/todotxt/people pinging:
- https://github.com/evanp @evanp
- https://github.com/ginatrapani@ginatrapani
- https://github.com/inkarkat @inkarkat
- https://github.com/karbassi @karbassi
Apologies to pinging everyone, this is far from a critical issue but it wasn't clear if anyone had seen this in the last two months of if it fell between the cracks. It's a one line PR, whilst I'd love for this to be merged my feelings won't be hurt if it's being rejected. I'm hoping it's less than 5 mins of your time.
Alternatively if this project has been abandoned, please could you mark the repo(s) as archived to avoid confusion?
Many thanks for making this available and for your time. I hope everyone is health and well! :-)
Regards,
Chris
@karbassi do you have merge permissions? Looking through history it looks like you might. If not, can you suggest anyone I should contact to get input on this? Thanks!