Simon Westphahl c6f4cb21a3 Record and report time for trigger events ... Sometimes, e.g. during reconfiguration, it can take quite some time between the trigger event and when a change is enqueued. This change allows tracking the time it takes from receiving the event until it is processed by the scheduler. Change-Id: I347acf56bc8d7671d96f6be444c71902563684be		2019-07-18 06:56:23 +02:00
..
__init__.py	Status branch protection checking for github	2018-06-04 15:47:01 +02:00
auth.py	Report to gerrit over HTTP	2018-07-26 16:43:07 -07:00
gerritconnection.py	Record and report time for trigger events	2019-07-18 06:56:23 +02:00
gerritmodel.py	Fix flake8 error: E117 over-indented	2019-01-30 16:08:36 +01:00
gerritreporter.py	Annotate logs around reporting	2019-05-30 19:18:01 +02:00
gerritsource.py	Annotate canMerge check with event id	2019-07-12 12:34:57 +02:00
gerrittrigger.py	Remove unused function validate_conf	2017-12-14 22:39:44 +00:00