Commit Graph

11 Commits

Author SHA1 Message Date
Angelos Chalaris
f59f3a5807 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
a6e9d8907a Update push.sh 2017-12-21 16:22:00 +01:00
David Wu
32c1629d5e Update push.sh 2017-12-21 15:59:27 +01:00
Pl4gue
3cc53087da update push script 2017-12-21 13:07:51 +01:00
Pl4gue
2d7491e87c fix auth issue(1) 2017-12-21 12:51:53 +01:00
Pl4gue
1b670794d6 force push 2017-12-21 12:41:16 +01:00
Pl4gue
faad2aefd1 update secure PAT 2017-12-21 12:40:35 +01:00
Pl4gue
c28385825c test 2017-12-21 12:36:39 +01:00
Pl4gue
293ebed4f0 Travis build: 2017-12-21 12:29:25 +01:00
David Wu
9f35ccdda3 fix permission denied issue 2017-12-21 12:25:51 +01:00
David Wu
c564049fc7 TravisCi config and build script 2017-12-21 12:13:18 +01:00