#136 Small fixes in the feed and the GitHub PR widgets
Merged by pingou. Opened by pingou.
pingou/fedora-hubs misc_fixes  into  develop

Download 136.patch
no initial comment

One liner suggestion here:
more = max(len(pulls) - display_number, 0)

Also we can calculate len(pulls) once and store it.

Looks good :thumbsup:

:thumbsup:

Nice idea for the max and indeed for the length, I'll fix it as otherwise we'll forget it

Pull-Request has been updated

:thumbsup:

Pull-Request has been merged by pingou

Metadata