# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1714155264 14400
# Node ID 99368487ffe64c1a820beb2a678dd52f1daf3fef
# Parent  02a3d7c46b2b7d1f13dd5db774e045855edf15b9
Setting a couple other sane git defaults for ID

diff -r 02a3d7c46b2b -r 99368487ffe6 .shared/gitconfig
--- a/.shared/gitconfig	Fri Apr 26 12:02:56 2024 -0400
+++ b/.shared/gitconfig	Fri Apr 26 14:14:24 2024 -0400
@@ -1,2 +1,5 @@
 [push]
-	default = simple
+  default = simple
+[user]
+  name = Steve Huston
+  email = huston@princeton.edu