Giters
gitgrep-com
/
gitgrep
Lightning fast code searching made easy
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
2
Issues:
15
Forks:
1
gitgrep-com/gitgrep Issues
site name and git trademark
Updated
5 years ago
Configuration for favicon
Updated
6 years ago
Makefile change to enable binding to low ports (443) without running as root
Updated
6 years ago
Enable HTTPS: by accepting certificate configuration
Closed
6 years ago
Letsencrypt certificate
Closed
6 years ago
Comments count
1
Configuration for Sign-out link on top-right if Signed-in (according to JWT)
Updated
6 years ago
Graceful restart
Updated
6 years ago
Settings page, reload/restart (gracefully) on change
Updated
6 years ago
Configuration to display Settings link for signed in user.
Updated
6 years ago
Configuration to display signed-in name from JWT at top-right of page
Updated
6 years ago
Configuration to display logo/name link on top-left corner of page
Updated
6 years ago
Display usage: storage, query count, latency etc.
Updated
6 years ago
Ops: Tagged metrics (i.e. statsd with DataDog taggin extension)
Updated
6 years ago
Redirect missing/invalid JWToken to configured Login URL
Updated
6 years ago
Require JWToken and return 401 if missing or invalid. Use configuration for cookie name and decryption key. (Out of scope Authorization: Bearer _)
Updated
6 years ago