mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 16:50:48 +00:00
Prevent docs release of being too smart
This commit is contained in:
parent
39288ad7f6
commit
38f2e4c8ac
@ -25,13 +25,6 @@ if __name__ == "__main__":
|
|||||||
pr_info = PRInfo(get_event(), need_changed_files=True)
|
pr_info = PRInfo(get_event(), need_changed_files=True)
|
||||||
|
|
||||||
gh = Github(get_best_robot_token())
|
gh = Github(get_best_robot_token())
|
||||||
if not pr_info.has_changes_in_documentation():
|
|
||||||
logging.info ("No changes in documentation")
|
|
||||||
commit = get_commit(gh, pr_info.sha)
|
|
||||||
commit.create_status(context=NAME, description="No changes in docs", state="success")
|
|
||||||
sys.exit(0)
|
|
||||||
|
|
||||||
logging.info("Has changes in docs")
|
|
||||||
|
|
||||||
if not os.path.exists(temp_path):
|
if not os.path.exists(temp_path):
|
||||||
os.makedirs(temp_path)
|
os.makedirs(temp_path)
|
||||||
|
Loading…
Reference in New Issue
Block a user