[PR #1207] [MERGED] Search bar fixes for #1187 and #1205 #15810

Closed
opened 2025-11-02 11:55:08 -06:00 by GiteaMirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/go-gitea/gitea/pull/1207
Author: @pgaskin
Created: 3/10/2017
Status: Merged
Merged: 3/11/2017
Merged by: @lunny

Base: masterHead: patch-2


📝 Commits (1)

📊 Changes

1 file changed (+3 additions, -5 deletions)

View changed files

📝 public/js/index.js (+3 -5)

📄 Description

Fixes #1187 and #1205


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/go-gitea/gitea/pull/1207 **Author:** [@pgaskin](https://github.com/pgaskin) **Created:** 3/10/2017 **Status:** ✅ Merged **Merged:** 3/11/2017 **Merged by:** [@lunny](https://github.com/lunny) **Base:** `master` ← **Head:** `patch-2` --- ### 📝 Commits (1) - [`9a6f0fb`](https://github.com/go-gitea/gitea/commit/9a6f0fb768328020304c34de9e5bb5398100b45b) Search bar fixes for #1187 and #1205 ### 📊 Changes **1 file changed** (+3 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `public/js/index.js` (+3 -5) </details> ### 📄 Description Fixes #1187 and #1205 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-11-02 11:55:08 -06:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#15810