Closed and merged PRs cannot be reopened

Fixed #78
Add missing spaces in html (removed by spaceless)

Fixed #76
Activate fetch of PRs following PushEvents

Fixed #85
Avoid opening empty tab when pressing "v" if no selected issue

Fixed #82
Allow reloading of issues opened via the issue-opener modal

Fixed #81
Hide create-issue error message when opening modal

Fixed #79
Avoid 404 when an issue was just created
Simplify labels/mergeable status in activity feeds

Fixed #87
Update calls remaining for token when set available again

Fixed #75
Correct problems (still...) with "mergeable"

Fixed #77
Better :focus style on the repo switcher

Fixed #83