Gavin John
c33894196a
Fix formatting
2026-01-29 22:20:54 -08:00
Gavin John
146186522c
Some fixes
2026-01-29 22:12:09 -08:00
Gavin John
8d3292af3a
Actual true parallel non-blocking updating with asyncio
2026-01-29 20:53:33 -08:00
Gavin John
3692fecb54
Some prefetch bug fixes
2026-01-29 19:49:36 -08:00
Gavin John
333a5cd066
Async nur commands
2026-01-29 19:15:22 -08:00
Kira Bruneau
f8f0a5e36e
fetch from default branch when branch isn't specified
2022-04-28 00:40:55 -04:00
Kira Bruneau
cadf72646c
refactor prefetch to get latest commit with git ls-remote
...
`git ls-remote` is more general way to get the latest commit. It can
be used on any git repo, and supports querying from the default branch
using the `HEAD` pseudoref.
2022-04-28 00:40:43 -04:00
Jörg Thalheim
1a2bc3021c
move ci to flake
2021-10-10 09:53:09 +02:00