4f9720e76e
This runs gerrit in a container on review-dev01 using podman. Remove an unused web_server.py file that we found from copying it from puppet to ansible. Change-Id: I399d3cf8471bc8063022b0db0ff81718b2ee2941
5 lines
140 B
Bash
Executable File
5 lines
140 B
Bash
Executable File
#!/bin/sh
|
|
|
|
# Use timeout to kill any process running longer than 10 minutes.
|
|
timeout -k 2m 10m /usr/local/bin/update-bug change-merged "$@"
|