diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2025-08-15 12:39:01 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2025-08-15 12:39:01 +0100 |
| commit | b404cfa7b622297b30ec509dde2aa4b14a4beac3 (patch) | |
| tree | 50221071f6fa30ea99087f1083927bf7b88cff92 /.github/workflows | |
| parent | 92c2362a9bed1bc1f256e7948e087c4102b7c4f9 (diff) | |
fix: inaccessable PR commits breaks `git clone`
we cannot list PRs under refs/heads/pr/* unless we are sure the oids
are accessable on a git server as it will cause `git clone` to fail.
we now only list PRs that are on accessable repo git servers under
refs/heads/pr/*.
we should be able to list them under under refs/pr/* as the clone
command only fetches refs in refs/heads so we will do this
seperately.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions