GHC 2020-10-07

2 comments.

, https://git.io/JUpq6 in jarun/googler
Added https://github.com/jarun/googler/wiki/The-Google-Breaks-Everything-Protocol (sorry for the delay).

The page is for developers (i.e. us) though. There already a user-oriented page (https://github.com/jarun/googler/wiki/What-to-do-when-you-encounter-%22No-results%22) which is linked in the warning message, probably to limited effect.

I do think we should raise the barrier of opening a new issue. I believe GitHub has introduced tools to achieve that to some extent. I’ll look into it later.

, https://git.io/JUpvC in jarun/googler
It is.