Commit Graph

11 Commits

Author SHA1 Message Date
Angelos Chalaris
979bfbd923 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.
2017-12-22 10:53:42 +02:00
David Wu
a4bd86ba71 Update push.sh 2017-12-21 16:22:00 +01:00
David Wu
730100fdde Update push.sh 2017-12-21 15:59:27 +01:00
Pl4gue
2d20ed7c23 update push script 2017-12-21 13:07:51 +01:00
Pl4gue
8cc365ee69 fix auth issue(1) 2017-12-21 12:51:53 +01:00
Pl4gue
86b3d5a70f force push 2017-12-21 12:41:16 +01:00
Pl4gue
dc98127d66 update secure PAT 2017-12-21 12:40:35 +01:00
Pl4gue
09b75542cc test 2017-12-21 12:36:39 +01:00
Pl4gue
9062008210 Travis build: 2017-12-21 12:29:25 +01:00
David Wu
a9537e4153 fix permission denied issue 2017-12-21 12:25:51 +01:00
David Wu
0c99e499f6 TravisCi config and build script 2017-12-21 12:13:18 +01:00