Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upwebui: fix display of merges in rangelog #31543
Conversation
tschottdorf
requested a review
from cockroachdb/admin-ui-prs
as a
code owner
Oct 17, 2018
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
|
bors r=vilterp |
bot
pushed a commit
that referenced
this pull request
Oct 17, 2018
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
craig
bot
commented
Oct 17, 2018
Build succeeded |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
tschottdorf commentedOct 17, 2018
It would previously show "unknown".
Observed in #31409.
Release note: None