summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* css: Adjust position of details/summary indicator.Ricardo Wurmus2022-12-202-0/+16
* html: Remove discrepancy between disabled/enabled mailer.Ricardo Wurmus2022-12-201-43/+44
* css: Make sidebar respond to hover.Ricardo Wurmus2022-12-201-4/+11
* css: Improve dark mode colors.Ricardo Wurmus2022-12-202-9/+12
* css: Adjust table colors.Ricardo Wurmus2022-12-201-3/+11
* html: Remove extra classes.Ricardo Wurmus2022-12-201-13/+8
* css: Resize search box.Ricardo Wurmus2022-12-201-1/+8
* css: Reduce transparency of nav bar.Ricardo Wurmus2022-12-201-2/+2
* html: Fix style of comment box and message headers.Ricardo Wurmus2022-12-202-75/+71
* html: Remove unnecessary classes from /help.Ricardo Wurmus2022-12-201-2/+2
* view/utils: process: Do not generate "pre" elements....Ricardo Wurmus2022-12-201-5/+5
* html: Restore message cards and adjust gaps.Ricardo Wurmus2022-12-202-67/+72
* html: Fix styling of event badges.Ricardo Wurmus2022-12-202-6/+23
* html: Move submitter info and align buttons.Ricardo Wurmus2022-12-202-91/+108
* html: Use "article" for cards.Ricardo Wurmus2022-12-201-33/+36
* css: search-hints: Use variable colors.Ricardo Wurmus2022-12-201-2/+2
* html: search-widget: Remove nested div.Ricardo Wurmus2022-12-201-33/+31
* css: Reduce overlap of search-hints on input.Ricardo Wurmus2022-12-201-1/+4
* Only change width of inline search form.Ricardo Wurmus2022-12-201-3/+3
* html: Use "main" element for all containers.Ricardo Wurmus2022-12-201-7/+7
* Add SVG logo and adjust nav styles.Ricardo Wurmus2022-12-202-29/+187
* html: Remove search icon and submit button.Ricardo Wurmus2022-12-201-21/+0
* Use "search" as input type for search bar.Ricardo Wurmus2022-12-201-2/+1
* Remove bootstrap.css and build CSS from SCSS sources.Ricardo Wurmus2022-12-206-8994/+556
* Add pico.css.Ricardo Wurmus2022-12-202-0/+3
* Add QA status badge to issue page....Arun Isaac2022-10-162-1/+20
* view/html: Unambiguously imply date:YYYY-MM-DD.Tobias Geerinckx-Rice2022-10-131-1/+1
* controller: Do not hash msgid term twice.Ricardo Wurmus2022-07-061-1/+1
* mumi: process-query: Do not mangle msgid term.Ricardo Wurmus2022-07-061-0/+3
* tests: Add a test for a message with abnormally large message id.0.0.2Ricardo Wurmus2022-07-066-1/+4434
* Use a stable hash algorithm for message ids.Ricardo Wurmus2022-07-064-5/+12
* help: Mention msgid filter.Ricardo Wurmus2022-07-061-1/+4
* xapian: search: Convert msgid string to hash.Ricardo Wurmus2022-07-061-4/+9
* tests: Add test for searching by msgid.Ricardo Wurmus2022-07-061-1/+5
* Update copyright.Ricardo Wurmus2022-07-061-1/+1
* Redirect /msgid/ URL to issue URL with message id anchor.Ricardo Wurmus2022-06-053-7/+26
* render: redirect: Do not permanently redirect.Ricardo Wurmus2022-06-041-1/+1
* render: redirect: Build relative URI.Ricardo Wurmus2022-06-041-6/+4
* controller: Add /msgid/ route.Ricardo Wurmus2022-06-041-1/+7
* xapian: Store hash of message id when indexing files.Ricardo Wurmus2022-06-041-2/+12
* jobs: set-status!: Expire after a month.Ricardo Wurmus2022-06-031-3/+5
* jobs: The job consists of options; don't store them separately....Ricardo Wurmus2022-06-031-19/+10
* jobs: Remove get-result/set-result....Ricardo Wurmus2022-06-031-14/+1
* web: Preprocess search query from GraphQL before use....Arun Isaac2022-02-171-1/+2
* web: Implement GraphQL endpoint....Arun Isaac2022-01-074-0/+127
* web: Wrap handler before passing to run-server....Arun Isaac2022-01-071-1/+7
* scripts: Allow the REPL to listen on Unix domain sockets....Arun Isaac2022-01-071-12/+15
* scripts: Make web server address and port configurable....Arun Isaac2022-01-071-3/+22
* web: Parameterize web server listen address....Arun Isaac2022-01-072-5/+5
* scripts: Report REPL server port....Arun Isaac2022-01-071-1/+4