We don't want to list bots in the rank, which usually create auto pull requests to upgrade forks from upstream branches or from repositories outside github.

• Filter out any username that has a [bot] suffix
  The easiest way is to just add a .filter to the results we get from redis.

  Alternatively, we could filter when fetching from github and not save on redis at all. For this opt