You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 option, check if github search api allows to exclude bots from results or to add an exclude filter for the search.
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]suffixThe easiest way is to just add a
.filterto the results we get from redis.Alternatively, we could filter when fetching from github and not save on redis at all. For this option, check if github search api allows to exclude bots from results or to add an exclude filter for the search.