sparse-intern-71089
02/13/2020, 4:29 AMgentle-diamond-70147
02/13/2020, 4:34 AMcolossal-beach-47527
02/13/2020, 9:20 PMgit
worktree is dirty or not? (i.e. any files under source control were modified, or new files locally but not in the repo.)mammoth-elephant-55302
02/15/2020, 2:33 AM