Sherlodune instance?

[mbarbin]

Hi! First and foremost, thanks for a fantastic tool!

I am not sure if this is the right place. Is the sherlodoc project where all instances and declinations of the hosted services are developed? (sherlocode, sherlodoc, sherlocoq).

I was wondering about how a particular dune lang construct was used in the wild yesterday, and suddenly I found myself looking for a sherlodune instance.. Would that make sense? (an instance where you can look through the dune files of published OCaml projects). Note this is just a thought, I have no idea how much work or resources this would entail, and how useful that would really be.

Thanks!

[EmileTrotignon]

I agree it would be useful, but it probably more related to sherlocode than sherlodoc

[mbarbin]

Ah, thanks, I missed that other project. @art-w given that you own both, I'm hoping you can use special admin powers to migrate the issue from one to the other (is that supported by GitHub?). Otherwise I'm happy to create a new one. Thanks @EmileTrotignon !

[art-w]

(transferred) That would be nice indeed, thanks for the report! Someone previously asked if it would be possible to grep .c files, so it would make sense to have a file extension filter... I'm not sure when I'll be able to do this though, I really need to find some time to update sherlocode, it's collecting dust :/