def http_date(timestamp=None):
    return _dump_date(timestamp, ' ')
Push error status for head commit to Github status API.
dataset/ETHPy150Open Eforcers/gae-flask-todo/lib/werkzeug/http.py/http_date--crossover with--dataset/ETHPy150Open openaddresses/machine/openaddr/ci/__init__.py/update_error_status