Live data from Hacker News

Getting 10TB of GitHub logs and extracting details of all users and repositories

trickest.com

51–60 of 61 posts

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#51
post #17
post #8

Earlier quoted context omitted.

I have a GitHub account under my real name, but recently I've started using GitHub under a couple of other names instead. There's so much stuff you do in public on GitHub that I want to avoid people doing exactly this kind of analysis on. I wish using multiple identities was at least some level of foolproof though. I have to be careful to configure my local copies of repos to use the correct username, masked email, a…

note that this is technically against their TOS if not using paid accounts: > One person or legal entity may maintain no more than one free Account (if you choose to control a machine account as well, that's fine, but it can only be used for running a machine) https://docs.github.com/en/site-policy/github-terms/github-t...

That's a term of service that I'm not too worried about. I'm not going to cry if they terminate those two accounts (main account is paid, so that's not in violation). And I'm not doing anything unusual or abusive with the accounts so I'm not worried they'll take action anyway.

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#52
post #16

Earlier quoted context omitted.

You can have includeIf sections in your .gitconfig that applies only to things within a certain directory. So you if you create top level directories in your $HOME for your various identities, all you need to do is to make sure you are cloning into and working within the appropriate directory hierarchy.

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.

Oh that's really cool! I'm absolutely going to use this technique. Thanks both of you!

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#53
post #34

Earlier quoted context omitted.

That's one of my favorite parts of reddit. Accounts are just pseudonyms, and you can generate as many as you want. I personally generate a new one every few months, which helps keep too much identifying data from building up over time.

and they're all identifiably attached to your metadata package(s)

Not sure I follow.

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#54

Earlier quoted context omitted.

internet would be better with total anonymity.

[flagged]

It's a really tough situation. I want both at the exact same time. But since that's not possible, I lean towards anonymity. Stuff that's published on the internet is out there forever. Because of automated tools that exist now and that will only get better in the future, it will be easy to surface.

And it's hard because there's so many ways someone could make connections that aren't immediately obvious. For example, I used to have my home's IP address set as a subdomain of the same one I use for email (for VPNing in). But later I thought about it and realized that anyone could easily look at the DNS records for my domain and know more than I really want them to.

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#56
post #17

Earlier quoted context omitted.

note that this is technically against their TOS if not using paid accounts: > One person or legal entity may maintain no more than one free Account (if you choose to control a machine account as well, that's fine, but it can only be used for running a machine) https://docs.github.com/en/site-policy/github-terms/github-t...

internet would be better with total anonymity.

[flagged]

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#58
post #23

Earlier quoted context omitted.

Is this even GDPR compliant ?

GitHub is already a GDPR joke. They won’t delete anything less than an entire account

How so? I deleted my previous accound and they replaced all interactions with "ghost". Deleting all interactions would be going a step too far IMHO since it would destroy documentation of issues, etc, just like public forums usually argue against deleting all posted content when you delete your account.

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#59

Earlier quoted context omitted.

Don't blame the archiver who is only doing what is allowed of them by Github. If you don't want to be public don't be public. Other archivers aren't making themselves publicly known but have the data all the same.

Just because you can perve on people at a nudest beach doesn't mean you should. Society frequently has norms and unwritten rules that we usually follow. Not every rule needs to be written down as law.

Those beaches have rules. You are not allowed to take pictures.

While on github there is no rule like that.

Re: Getting 10TB of GitHub logs and extracting details of all users and repositories

#60
post #59

Earlier quoted context omitted.

Just because you can perve on people at a nudest beach doesn't mean you should. Society frequently has norms and unwritten rules that we usually follow. Not every rule needs to be written down as law.

Those beaches have rules. You are not allowed to take pictures. While on github there is no rule like that.

Nobody is claiming there was any rules being broken.

Doesn't make it any less creepy.

Post reply on HN