⚠️ On 2023/11/08, I cleaned up some incorrect contact information (user.name and user.email) in the commit history via git-filter-repo.

If you have a clone that predates this change, you will need to run git pull --rebase to get the new history and allow git to work properly. Clones made after this date don't need to do anything.