Home
last modified time | relevance | path

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

/tools/external_updater/
Dgithub_archive_updater.py32 GITHUB_URL_RE: re.Pattern = re.compile(GITHUB_URL_PATTERN) variable
82 match = GITHUB_URL_RE.match(self._old_url.value)