e608cda593
Merge branch 'main' of https://git.sagev.space/sage/dotfiles
66cf733f4e
Clarify sync-history
da0351e640
Merge branch 'main' of https://git.sagev.space/sage/dotfiles
d78e78be76
Add git-worked, and some cache-related shell funcs