mirror of
https://github.com/gitbucket/gitbucket.git
synced 2025-11-15 09:55:49 +01:00
Display repository search field on pull request pages.
This commit is contained in:
@@ -10,7 +10,7 @@
|
||||
hasWritePermission: Boolean)(implicit context: app.Context)
|
||||
@import context._
|
||||
@import view.helpers._
|
||||
@html.main("Pull Requests - " + repository.owner + "/" + repository.name){
|
||||
@html.main(s"Pull Requests - ${repository.owner}/${repository.name}", Some(repository)){
|
||||
@html.header("pulls", repository)
|
||||
<div class="row-fluid">
|
||||
<div class="span3">
|
||||
|
||||
Reference in New Issue
Block a user