From 979bfbd923af1681a68b60def2f1d662a2a1ba05 Mon Sep 17 00:00:00 2001 From: Angelos Chalaris Date: Fri, 22 Dec 2017 10:53:42 +0200 Subject: [PATCH] Update travis push Most of the guides I can find use the travis email and name to differentiate from user commits. This will come in handy later down the line to filter out build commits more easily. I'm pretty certain this will not break anything, but I'd like someone to take a look at it before merging. --- .travis/push.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis/push.sh b/.travis/push.sh index 277140235..e3483a676 100755 --- a/.travis/push.sh +++ b/.travis/push.sh @@ -1,8 +1,8 @@ #!/bin/sh setup_git() { - git config --global user.email "david10608@gmail.com" - git config --global user.name "Pl4gue" + git config --global user.email "travis@travis-ci.org" + git config --global user.name "Travis CI" } commit_website_files() {