Skip to content

Commit 9f217ec

Browse files
Update pr_merge_conflict_check.py
1 parent d73e100 commit 9f217ec

File tree

1 file changed

+7
-3
lines changed

1 file changed

+7
-3
lines changed

scripts/pr_merge_conflict_check.py

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,12 +21,16 @@
2121
the script assigns the PR author to the PR and notifies them via a GitHub comment.
2222
"""
2323

24-
import os
25-
import time
24+
from __future__ import annotations
25+
26+
import collections
27+
import datetime
2628
import logging
27-
from typing import Dict, List, Optional, Any
29+
import os
30+
from scripts import install_third_party_libs
2831

2932
import requests
33+
from typing import Dict, List, Optional, Set, TypedDict, Any
3034

3135
# Global configuration.
3236
GITHUB_TOKEN = os.getenv('GITHUB_TOKEN')

0 commit comments

Comments
 (0)