stable

Clone or download

Read-only

story #8826: Display # of pull requests in git repository header

Change-Id: I05008ba9414bf422cf70e20ca6a89860e0de632b

Modified Files

Name
A include/PullRequest/AdditionalInfoPresenter.php +59 −0 Go to diff View file
M include/PullRequest/Dao.php +9 −1 Go to diff View file
M include/PullRequest/Factory.php +6 −0 Go to diff View file
A include/PullRequest/PullRequestPresenter.php +44 −0 Go to diff View file
M include/autoload.php +2 −0 Go to diff View file
M include/pullrequestPlugin.class.php +90 −0 Go to diff View file
M site-content/en_US/pullrequest.tab +15 −0 Go to diff View file
M site-content/fr_FR/pullrequest.tab +15 −0 Go to diff View file
A templates/additional-info.mustache +6 −0 Go to diff View file
A templates/index.mustache +3 −0 Go to diff View file