currently they automatically reset the git repo and do a pull, this should be optional
currently they automatically reset the git repo and do a pull, this should be optional