social.noyu.me

if the purpose of a system is what it does then the purpose of github dot com is to make git commit history useless

‪i am insufferable advocate for gerrit but also seriously like‬

‪- the merge-based pull request workflow encourages polluting history with broken commits and fixups that should have been squashed‬
‪- it routinely misattributes corporate contributions to personal emails and vice-versa‬

‪- the squash-based pull request workflow destroys carefully-crafted history where it exists‬
‪- the merge and squash-based pull request workflows generally pollute git history with the contents of pull request descriptions, which are not necessarily good commit descriptions‬

‪- the fact it hides git committer and author names and emails everywhere means people do not notice when they are wrong or inconsistent, whether that's because of git or github dot com configuration‬
‪- you cannot fully control what email it attaches to commits attributed to you 🙃‬

‪- github just assumes your display name on your github profile should be attached to commits and gives you no option to change this‬
‪- github just assumes that that your primary login/password reset email address should go in git history and you can't completely disable this‬

‪but github dot com also goes out of its way to hide trans people's deadnames so, it;s impossible to say if its bad or not.‬

‪actually i could scream about the corporate/personal misattribution thing all day. this is awful for employees' right to make contributions to stuff outside of work. github's terrible design choices mean the only useful heuristic is that everything belongs to someone's employer‬

ceterum autem censeo, githubinem esse delendam