Jeremy Stanley 9f8a6e6a22 Submitted is _not_ necessarily merged in Gerrit ... * zuul/trigger/gerrit.py(Gerrit._isMerged): Only consider MERGED status to indicate a change is successfully merged. SUBMITTED can exist on changes which Gerrit was unable to merge due to nonexistent parent/dependent commits, and possibly for other reasons too. Change-Id: I673be5010031f8bc26ab31db9afcc7c28854db85		2014-03-06 03:02:39 +00:00
..
__init__.py	Initial commit.	2012-05-29 14:49:32 -07:00
gerrit.py	Submitted is _not_ necessarily merged in Gerrit	2014-03-06 03:02:39 +00:00
timer.py	Split the merger into a separate process	2014-02-17 11:47:15 -08:00