From f59f3a58070752c9ba50778fa6eefd513b91a0f0 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() {