From 286eb02f4bbf5fb398d0ac98fb536c6056425493 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Sun, 4 Mar 2018 22:15:36 -0800
Subject: [PATCH] Update git branches on push.

This pushes to clean checked-out repositories.  Only works since git
2.3.0, so on older versions, I'll apparently need to use a local dotfile
for those systems.

git config receive.denyCurrentBranch updateInstead
---
 dotfiles/gitconfig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dotfiles/gitconfig b/dotfiles/gitconfig
index 964bbd1..e300459 100644
--- a/dotfiles/gitconfig
+++ b/dotfiles/gitconfig
@@ -56,3 +56,5 @@
 
 [credential]
 	helper = cache --timeout=36000
+[receive]
+	denyCurrentBranch = updateInstead