From 84e00d4d9e4adc7fd3ec3d9d405e2717db98c6ba Mon Sep 17 00:00:00 2001
From: David Macek <david.macek.0@gmail.com>
Date: Mon, 15 Feb 2016 09:55:16 +0100
Subject: [PATCH] CI: Revert git config on exit

---
 ci-build.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ci-build.sh b/ci-build.sh
index ec55ede2..e229c07f 100644
--- a/ci-build.sh
+++ b/ci-build.sh
@@ -9,6 +9,10 @@ success() { echo "Build success: ${@}"; exit 0; }
 failure() { echo "Build failure: ${@}"; exit 1; }
 
 # Prepare
+gitmail="$(git config --global user.email)"
+gitname="$(git config --global user.name)"
+gitrevert() { git config --global user.email "${gitmail}"; git config --global user.name "${gitname}" }
+trap gitrevert EXIT
 git config --global user.email 'ci@msys2.org'
 git config --global user.name 'MSYS2 Continuous Integration'