Site and infrastructure updates, January 2023 edition.
January has suddenly become our exciting month of the year, even if we’re almost halfway! We have brought substantial upgrades and improvements to our websites! They’re so big that we’ve narrowed it down into 13 main points. January 13, you know? 1. Improved site design! We decided to ditch pale blue for pure white on […]
New Year, New Keys: Exciting PGP and Git updates from us, coming 2022.
Starting January 1, 2022, we will celebrate the year of automation. That means me and my robots are now willing to contribute to Git even more. First, we will test and enable commit signing for future Git commits; whether made by myself or us. And yes, we’re allocating new email addresses dedicated for signing automated…