5 ms·I'm not seeing the information about it having been run at $HOME, where are you seeing that?by drakythe 2mo agoI'm not seeing the information about it having been run at $HOME, where are you seeing that?swingboy 2mo agoThe `repo_path` field.drakythe 2mo agoAh. I've never used Grok so I was assuming that meant there was actually a repository on the user's home directory, something I know is pretty common.