Gurkenmaster·il y a 11 ans·discussSearching through source code in github is horrible. It only searches through the content and completly ignores filenames which makes it absolutely useless to me.