diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2025-09-01 09:13:20 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2025-09-01 09:13:20 +0100 |
| commit | 00d38ac675c69cacab3c4ad3ad1c34666c06d293 (patch) | |
| tree | d7a0c130a7c62848311c86d3f0d53df9b277b4c4 /src/lib/login/user.rs | |
| parent | 38d5f056d71f43a175c5ba1f2fd8e08691df27a9 (diff) | |
fix: list shows `/pr` PRs when git data is local
even if it is not on repository remotes, as it may have been pushed
to a user's git server instead
Diffstat (limited to 'src/lib/login/user.rs')
0 files changed, 0 insertions, 0 deletions