Fix #139 - Use git fetch+merge instead of pull

This commit is contained in:
Junegunn Choi committed 2015-01-08 23:21:32 +09:00
1 parent fdf1e53da5
commit 0e9fa672f8
4 files changed
+92 -2

No files matched your search

+2
View File
@@ -10,6 +10,8 @@ before_script: |
make
sudo make install
cd -
git config --global user.email "you@example.com"
git config --global user.name "Your Name"
script: |
test/run !