Adjustemt for pr title display

This commit is contained in:
Alexandre Aubin 2017-03-08 09:35:17 -05:00
parent 80df6a6bcd
commit 2b770bb8ae
2 changed files with 19 additions and 11 deletions

View file

@ -67,8 +67,8 @@ def main():
"url": issue["pull_request"]["html_url"] "url": issue["pull_request"]["html_url"]
} }
if len(pr["title"]) > 53: #if len(pr["title"]) > 53:
pr["title"] = pr["title"][0:50] + "..." # pr["title"] = pr["title"][0:50] + "..."
if isPRDying(pr): if isPRDying(pr):
pr["labels"].append("dying") pr["labels"].append("dying")

View file

@ -17,7 +17,13 @@
background: #333333; background: #333333;
} }
.container { .container {
width:1500px; width:1200px;
}
.pr-title {
white-space: nowrap;
overflow: hidden;
text-overflow: ellipsis;
max-width: 350px;
} }
</style> </style>
@ -37,14 +43,16 @@
<div class="row"> <div class="row">
<div class="col-md-12"> <div class="col-md-12">
First with labels : <strong>With labels</strong>
<p>"important" implies top-priority ------ <ul>
"opinion-needed" implies medium priority ------ <li>"important" = top priority</li>
"work needed" implies low priority ------ <li>"opinion-needed" = medium priority</li>
"inactive" / "postponed" implies very low priority.</p> <li>"work needed" = low priority</li>
Then with creation time : <li>"inactive/postponed" = very low priority</li>
</ul>
<strong>Then with creation time</strong>
<p>older PRs have higher priority than newer PR</p> <p>older PRs have higher priority than newer PR</p>
'Dying' status <strong>'Dying' status</strong>
<p>A PR is considered "dying" if it has been created more than 60 <p>A PR is considered "dying" if it has been created more than 60
days ago and not updated since 30 days. This is meant to be an incentive to days ago and not updated since 30 days. This is meant to be an incentive to
either revive it or flag it as inactive/postponed... 'Dying' PRs either revive it or flag it as inactive/postponed... 'Dying' PRs
@ -100,7 +108,7 @@
{% endif %} {% endif %}
{% endif %}" {% endif %}"
href="{{ pr.url }}">{{ pr.id }}</a></center></td> href="{{ pr.url }}">{{ pr.id }}</a></center></td>
<td><strong>{{ pr.title }}</strong></td> <td class="pr-title"><strong>{{ pr.title }}</strong></td>
<td>{{ pr.createdDaysAgo }} days ago</td> <td>{{ pr.createdDaysAgo }} days ago</td>
<td> <td>
{% for label in pr.labels %} {% for label in pr.labels %}