My Commits and Tags Are Now Signed

Announcement I’m now signing my git commit and tags with an SSH key. Details of the fingerprint can be found in the security document. It says that commit after 2024-01-01 are going to be signed, because I’m starting now on one machine and I will propagate the configuration over the next few days to other machines. Why Why bother with cryptographic signatures? Anyone can pretend to be me. They just need to write my name and email in the author fields of a commit message....

December 29, 2023 · 3 min

Quick Git Commit Amend

Sometimes when your pull request is reviewed, it turns out that you have to make a small change. For instance, you have to remove a white space. Here is a really quick way to fix it, that will not even fire your editor to change the commit message. Make sure you are on the branch of the pull request (for instance, by reading the output of git status) Edit and save your file, removing the white space....

November 21, 2021 · 2 min

Git ls-files is Faster Than Fd and Find

The git ls-files command is up to 5 times faster than fd or find. But why?

November 4, 2021 · 10 min