odrling 8cc0d4689a [dots] only verify remote tip ... simpler, and actually works when local branch diverges.		2024-02-21 01:09:59 +01:00
..
dotsbin	[dots] only verify remote tip	2024-02-21 01:09:59 +01:00
odrbin	[odrbin] git-wtinit: resolve worktree absolute path	2024-01-31 22:42:35 +01:00
share	[odrbin] add odrfootclient script	2024-01-31 17:00:31 +01:00