removing PRs opened by bots

This commit is contained in:
Karma Riuk
2025-03-17 10:39:47 +01:00
parent 2fad232dd2
commit 79ead075fa

View File

@ -27,7 +27,10 @@ def get_good_projects(csv_file: str) -> pd.DataFrame:
return df.loc[(df['good_repo_for_crab'] == True) & (df['n_tests'] > 0)] return df.loc[(df['good_repo_for_crab'] == True) & (df['n_tests'] > 0)]
def is_pull_good(pull: PullRequest, verbose: bool = False): def is_pull_good(pull: PullRequest, verbose: bool = False):
return has_only_1_comment(pull.get_commits(), pull.get_review_comments(), verbose=verbose) return (
has_only_1_comment(pull.get_commits(), pull.get_review_comments(), verbose=verbose)
and pull.user.type != "Bot"
)
def get_good_prs(repo: Repository, stats_df: Optional[pd.DataFrame]) -> list[PullRequest]: def get_good_prs(repo: Repository, stats_df: Optional[pd.DataFrame]) -> list[PullRequest]:
good_prs = [] good_prs = []