Gurkenmaster·قبل 11 سنة·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.