Post

I just realized that the number of my GitHub contributions is way less this year than last. 🤓 This is not because I was less active on GitHub, but because of merging pull requests with "squash and merge" to keep the git histories clean.