Initial commit

1 files changed, 46 insertions, 0 deletions

diff --git a/gitconfig b/gitconfig
new file mode 100644
index 0000000..52e8f08
--- /dev/null
+++ b/gitconfig
@@ -0,0 +1,46 @@
+[alias]
+  pr = "!gh pr"
+  issue = "!gh issue"
+[user]
+	email = marc@mccd.space
+	name = Marc Coquand
+[credential "https://github.com"]
+	helper = !gh auth git-credential
+[credential "https://gist.github.com"]
+	helper = !gh auth git-credential
+[credential "smtp://marcc%40fastmail.fr@smtp.fastmail.com%3a465"]
+  helper = 
+  helper = !pass 'fastmail/git'
+[color]
+	ui = false
+[mergetool]
+	layout = LOCAL,MERGED,REMOTE
+[sendemail]
+    smtpserver = smtp.fastmail.com
+    smtpuser = marcc@fastmail.fr
+    smtpencryption = ssl
+    smtpserverport = 465
+[pull]
+	rebase = true
+[color "diff"]
+	meta = blue
+	old = red
+	new = green
+[log]
+  date = relative
+[format]
+  pretty = oneline
+	signoff = true
+[credential]
+	helper = store
+[push]
+	autoSetupRemote = true
+[commit]
+	gpgsign = true
+  verbose = true
+[init]
+	defaultBranch = main
+[grep]
+	lineNumber = true
+[help] 
+	autocorrect = prompt