Need to search on GitHub? Make an account! Don’t want to make an account? Leave!