mirror of
https://github.com/pytorch/pytorch.git
synced 2025-10-20 21:14:14 +08:00
Add matching against hypothetical (new) ghstack pull-request trailer (#153528)
I would like to change ghstack to use a new trailer Pull Request resolved: https://github.com/pytorch/pytorch/pull/153528 Approved by: https://github.com/malfet
This commit is contained in:
committed by
PyTorch MergeBot
parent
8f3d7972ad
commit
cd119ddd7c
2
.github/scripts/trymerge.py
vendored
2
.github/scripts/trymerge.py
vendored
@ -434,7 +434,7 @@ query ($owner: String!, $name: String!) {
|
||||
RE_GHSTACK_HEAD_REF = re.compile(r"^(gh/[^/]+/[0-9]+/)head$")
|
||||
RE_GHSTACK_DESC = re.compile(r"Stack.*:\r?\n(\* [^\r\n]+\r?\n)+", re.MULTILINE)
|
||||
RE_PULL_REQUEST_RESOLVED = re.compile(
|
||||
r"(Pull Request resolved|Pull-Request-resolved): "
|
||||
r"(Pull Request resolved|Pull-Request-resolved|Pull-Request): "
|
||||
r"https://github.com/(?P<owner>[^/]+)/(?P<repo>[^/]+)/pull/(?P<number>[0-9]+)",
|
||||
re.MULTILINE,
|
||||
)
|
||||
|
Reference in New Issue
Block a user