News for hackers. Stuff that matters.
Re:Getting 10TB of GitHub Logs and Extracting Details of All... by mplewis9z on Thursday June 15, 2023 @03:49PM (#36345559)
I do this to separate personal and company repositories on the same machine, and it works flawlessly. An example config looks like:

~/.gitconfig:

```

[includeIf "gitdir:~/Personal/"]

        path = ~/personal.gitconfig
```

~/personal.gitconfig:

```

[user]

        email = {personal email address}
```

And you can have arbitrary numbers of "profiles" like this, as long as each is in their own directory.

Re:Getting 10TB of GitHub Logs and Extracting Details of All... by ziml77 on Thursday June 15, 2023 @10:11PM (#36350130)
Oh that's really cool! I'm absolutely going to use this technique. Thanks both of you!