scripts

GitHub

GitHub scripts.

This directory contains utilities for managing the build lifecycle on GitHub.

Name		Name	Last commit message	Last commit date
parent directory ..
check_commit_metadata		check_commit_metadata
check_contributing_guidelines_acceptance		check_contributing_guidelines_acceptance
check_duplicate_prs		check_duplicate_prs
check_merge_conflicts_prs		check_merge_conflicts_prs
check_tracking_issue_closure		check_tracking_issue_closure
common		common
create_address_commit_comments_issues		create_address_commit_comments_issues
create_todo_issue		create_todo_issue
deprecate_packages		deprecate_packages
first_time_greeting		first_time_greeting
generate_pr_commit_message		generate_pr_commit_message
label_good_first_prs		label_good_first_prs
lint_autofix		lint_autofix
markdown_links		markdown_links
merge_ready_prs		merge_ready_prs
pr_commands_comment		pr_commands_comment
run_affected_benchmarks		run_affected_benchmarks
run_affected_tests		run_affected_tests
run_tests_coverage		run_tests_coverage
too_many_good_first_prs		too_many_good_first_prs
track_todos		track_todos
update_pr_copyright_years		update_pr_copyright_years
README.md		README.md