Angelos Chalaris
f00977f28c
Linter cleanuo
2017-12-28 10:34:36 +02:00
David Wu
947276234b
Update push.sh
2017-12-25 19:02:13 +01:00
Pl4gue
35c39aba62
remove shell identifier
2017-12-25 15:17:19 +01:00
Pl4gue
7d698dc30d
Update push.sh
2017-12-25 15:14:57 +01:00
Pl4gue
5411c42c3d
Revert "add linter command"
...
This reverts commit 16a93ca370
2017-12-25 15:13:42 +01:00
Travis CI
6fbdd7914b
add linter command
2017-12-25 15:08:44 +01:00
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
