Closed blueyed closed 9 years ago
There has not been any public Github activity from @Raimondi since Feb 2014, which has been the last commit to this repository.
Given the open number of pull requests and issues I am wondering if this repo is still maintained?
@Raimondi are you still up for maintaining it? Could you need some help from additional contributors, who you would add to the repo?
I'm still up to maintain it, I think pull requests are a good way for contributors to help. I might take a while to merge but it'll be done. I'll try to be more responsive but feel free to give me a nudge.
There has not been any public Github activity from @Raimondi since Feb 2014, which has been the last commit to this repository.
Given the open number of pull requests and issues I am wondering if this repo is still maintained?
@Raimondi are you still up for maintaining it? Could you need some help from additional contributors, who you would add to the repo?