Hello, I found there was REST search functionality that was deleted in https://github.com/google/zoekt/commit/744484438f16a7a3458cd4175863a982d7b726ea. I find that functionality useful, so would like to restore it. Can it be restored as-is (maybe with some tweaks, to support result size limit from request etc), or do you have any concerns with it? Thank you!
Hello,
I found there was REST search functionality that was deleted in 7444844. I find that functionality useful, so would like to restore it.
Can it be restored as-is (maybe with some tweaks, to support result size limit from request etc), or do you have any concerns with it? Thank you!