1
0
Fork 0

ui: Change icon on title for merged PR to git-merge (#11064)

Signed-off-by: a1012112796 <1012112796@qq.com>
This commit is contained in:
赵智超 2020-04-14 19:37:10 +08:00 committed by GitHub
parent 9b7737df2d
commit 09aa122bd1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -17,7 +17,7 @@
{{end}}
</div>
{{if .HasMerged}}
<div class="ui purple large label">{{svg "octicon-git-pull-request" 16}} {{.i18n.Tr "repo.pulls.merged"}}</div>
<div class="ui purple large label">{{svg "octicon-git-merge" 16}} {{.i18n.Tr "repo.pulls.merged"}}</div>
{{else if .Issue.IsClosed}}
<div class="ui red large label">{{svg "octicon-issue-closed" 16}} {{.i18n.Tr "repo.issues.closed_title"}}</div>
{{else if .Issue.IsPull}}