With all the editor changes over the past few months since the last commit and NGP coming later this year is there still interest and time in maintaining ScratchTools? I don't want this extension to die but I also don't want to pressure anyone who doesn't have the time or motivation for it.
Maybe it's time to consider archiving the repository and delisting the extension?
With all the editor changes over the past few months since the last commit and NGP coming later this year is there still interest and time in maintaining ScratchTools? I don't want this extension to die but I also don't want to pressure anyone who doesn't have the time or motivation for it.
Maybe it's time to consider archiving the repository and delisting the extension?