Hacker News Reader

Interesting that you'll risk moving your dev ops workflow because of a single feature that GitHub doesn't even do well.

we utilize other systems for this (not great, but works). for the type of work we do, global search is a huge win over other potential trade offs.