Thursday assorted links: How Core Git Developers Configure Git 🔗