diff options
| author | Joe Chen <jc@unknwon.io> | 2022-06-04 13:10:15 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-04 13:10:15 +0800 |
| commit | 69827490e0f0e68b34e082321b4e328df7847d66 (patch) | |
| tree | 37c210dcb5a9aa2b10320ce1222b10a5e30b5f48 /internal/markup | |
| parent | 75e10445ca8ecd76f3950825ffd161c2fc32da6a (diff) | |
pull: ignore PR status check if head repository is missing (#7004)
Diffstat (limited to 'internal/markup')
0 files changed, 0 insertions, 0 deletions