b5d96e7db7
Ports fuzzy search for `/issues` and `/pulls` from gitea. Adds fuzzy search for `/user/repo/issues` and `/user/repo/pulls`. --- ## Notes ### Port: [`gitea#be5be0ac81`]( |
||
---|---|---|
.. | ||
chroma | ||
codemirror | ||
editor | ||
features | ||
markup | ||
modules | ||
repo | ||
shared | ||
standalone | ||
themes | ||
actions.css | ||
admin.css | ||
base.css | ||
dashboard.css | ||
explore.css | ||
font_i18n.css | ||
form.css | ||
helpers.css | ||
home.css | ||
index.css | ||
install.css | ||
org.css | ||
repo.css | ||
review.css | ||
user.css |