Vishesh Handa 4750488e0d GitTest: Try to implement a git pull ...

So far it just does a `git fetch`. I cannot seem to figure out how to
handle merge conflicts or to actually move the HEAD to origin/HEAD.

2019-05-15 16:21:46 +02:00

..

git.c

GitTest: Try to implement a git pull

2019-05-15 16:21:46 +02:00

make.sh

GitTest: Try running 'git add' without android

2019-05-14 16:47:49 +02:00