miniblog.

← Back to all posts
Jul 2, 2018 at 08:55
GitHub has made a considerable effort to let users hide their email addresses: https://help.github.com/articles/about-commit-email-addresses/ I totally understand that users find this desirable, but it's awkward to implement on top of git. GH provide a hook to prevent mistakes: https://help.github.com/articles/blocking-command-line-pushes-that-expose-your-personal-email-address/
Setting your commit email address - GitHub Docs
Setting your commit email address - GitHub Docs
You can set the email address that is used to author commits on GitHub and on your computer.

Related Posts

Feb 27, 2026 at 22:09
110
Should lint suppressions be first class syntax or comments? Adding a proper metadata system (e.g. Clojure or Rust) is a big design space but it's clear which expressions are affected. Comments are much easier to implement but it's easy for users to get them wrong. Thoughts?
Nov 6, 2023 at 05:19
I've added basic sum types to my programming language project, and it simplifies a bunch of stuff. Bool and Unit no longer need to be built-in types! I'm now working on wrapped data, so I can implement Option :)
Apr 24, 2023 at 07:16
Every time I implement an interpreter with recursion, I regret it. As soon as I want TCO, or userland control of stack limits, or resumable exceptions, I need my own stack. This is awkward because it's an upfront design decision. Changing the stack model is a big refactoring.