finding a good github repo name is the new finding a good domain name.