Jamie Lennox a6b33baade Represent github change ID in status page by PR number ... The change.id given to the status.json output for github PRs is a full "PR#,SHA" combo. This gives it uniqueness when we can have multiple commits and versions of commits per PR. When we display this in the status page though i think all we care about is the PR number, so trim it out and just display that. Change-Id: I73385a6b0743a6764fdfdd51cd1d8ee02b71c53c Signed-off-by: Jamie Lennox <jamielennox@gmail.com>		2017-05-23 21:47:49 -07:00
..
status	Represent github change ID in status page by PR number	2017-05-23 21:47:49 -07:00
clonemap.yaml-sample	cloner to easily clone dependent repositories	2014-07-29 09:03:59 +00:00
layout.yaml-sample	Add option to ignore ref-updated events emitted by branch deletions	2015-11-14 12:29:38 -05:00
logging.conf-sample	Add sample configs	2012-06-05 14:49:01 -07:00
zuul.conf-sample	Remove more swift configurations	2017-03-17 16:18:03 -07:00