Removing unused python include
Take default HEAD from GIT in server if git_rev not given