| commit | a6b33baadec28e09782f3e5879bcb62269b18b75 | [log] [tgz] |
|---|---|---|
| author | Jamie Lennox <jamielennox@gmail.com> | Fri Feb 10 11:33:44 2017 +1100 |
| committer | Jesse Keating <omgjlk@us.ibm.com> | Tue May 23 21:47:49 2017 -0700 |
| tree | 6660aec07443ec3da10735b2dd3bdf659bfd9c67 | |
| parent | d81dd7646f98b454eb088a516607cc77316a5a18 [diff] |
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>