diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2025-08-06 13:13:57 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2025-08-07 17:25:51 +0100 |
| commit | 8c7a7ca2f538fd9240906f6eb746e55d75a6f4fd (patch) | |
| tree | 8712630fc61f666ee2211e154668158ae9bed87e /.github | |
| parent | a9b2ebf8216be34950e54dd9a446dbdc0c9c744a (diff) | |
feat(init): use user grasp list for defaults
instead of relying on hardcoded grasp server options.
couldn't we look up those selected for other repos for the user
instead?
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions