1dd951fc1SLuis R. Rodriguez[spatch]
2dd951fc1SLuis R. Rodriguez	options = --timeout 200
3dd951fc1SLuis R. Rodriguez	options = --use-gitgrep
4