Home
last modified time | relevance | path

Searched refs:exit_if_pull_request_has_merge_commits (Results 1 – 1 of 1) sorted by relevance

/external/opencensus-java/scripts/
Dcheck-git-history.py11 exit_if_pull_request_has_merge_commits()
28 def exit_if_pull_request_has_merge_commits(): function