4 ms·
You don't actually have to remove it if it's not technically feasible. It's not like it was illegally collected there. I really hate how metadata of git commit
by andersa 3y ago
You don't actually have to remove it if it's not technically feasible. It's not like it was illegally collected there.
I really hate how metadata of git commits is immutable though. I've often wanted to make a small change like fix a typo in a description, only to find out it's impossible.
- ben0x539 3y agoOf course it's technically feasible. You do the filter-branch thing and then you force-push. Sure, it would be very inconvenient for everybody who has a clone of the repo, but I don't think that's a convincing argument to a nation state trying to enforce regulations.
- jeffchien 3y agoI think that doesn't actually remove you from the GitHub contributors list. I had used the wrong identity for a commit and tried all manners of git manipulation and force push, but GitHub kept me on the list. In the end I just nuked that account. Edit: Apparently renaming branches and reverting that works: https://stackoverflow.com/a/69294044 https://stackoverflow.com/a/69294044
- ben0x539 3y agoAh, I didn't think of it at all, I was only thinking about a hypothetical responsibility of whoever is in charge of the git repository, not the extra github flavoring.