mirror of
https://github.com/gitbucket/gitbucket.git
synced 2025-11-03 20:15:59 +01:00
(refs #1370)Search repository by name
This commit is contained in:
@@ -61,6 +61,12 @@
|
||||
<input type="hidden" name="repository" value="@repository.name"/>
|
||||
</div>
|
||||
</form>
|
||||
}.getOrElse {
|
||||
<form id="search" action="@context.path/searchrepo" method="GET" class="pc navbar-form navbar-left" role="search">
|
||||
<div class="form-group">
|
||||
<input type="text" name="query" id="navbar-search-input" class="form-control" placeholder="Search repository"/>
|
||||
</div>
|
||||
</form>
|
||||
}
|
||||
<ul class="pc nav navbar-nav">
|
||||
@if(context.loginAccount.isDefined){
|
||||
|
||||
Reference in New Issue
Block a user