summaryrefslogtreecommitdiff
path: root/mumi
Commit message (Expand)AuthorAgeFilesLines
* Activate theme switcher as soon as the body tag exists.Ricardo Wurmus2022-12-241-4/+4
* Reduce page weight by simplifying line number anchors....Ricardo Wurmus2022-12-242-35/+31
* html: Update copyright line.Ricardo Wurmus2022-12-201-1/+1
* Add dark/light theme switcher.Ricardo Wurmus2022-12-201-0/+2
* css: Adjust position of details/summary indicator.Ricardo Wurmus2022-12-201-0/+1
* html: Remove discrepancy between disabled/enabled mailer.Ricardo Wurmus2022-12-201-43/+44
* css: Improve dark mode colors.Ricardo Wurmus2022-12-201-1/+1
* html: Remove extra classes.Ricardo Wurmus2022-12-201-13/+8
* html: Fix style of comment box and message headers.Ricardo Wurmus2022-12-201-67/+63
* 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-201-65/+61
* html: Fix styling of event badges.Ricardo Wurmus2022-12-201-4/+2
* html: Move submitter info and align buttons.Ricardo Wurmus2022-12-201-91/+94
* html: Use "article" for cards.Ricardo Wurmus2022-12-201-33/+36
* html: search-widget: Remove nested div.Ricardo Wurmus2022-12-201-33/+31
* html: Use "main" element for all containers.Ricardo Wurmus2022-12-201-7/+7
* Add SVG logo and adjust nav styles.Ricardo Wurmus2022-12-201-7/+95
* 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-201-12/+2
* 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
* 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
* 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-072-0/+121
* web: Wrap handler before passing to run-server....Arun Isaac2022-01-071-1/+7
* web: Parameterize web server listen address....Arun Isaac2022-01-071-4/+4
* web: Report web server address and port....Arun Isaac2022-01-071-0/+4
* view: Wrap contents of diff lines with pre....Ricardo Wurmus2021-12-091-5/+5
* css: Show line anchors only in browsers supporting CSS.Ricardo Wurmus2021-12-091-1/+1
* view: Add line anchors.Ricardo Wurmus2021-12-091-29/+52
* Use div instead of span for lines....Ricardo Wurmus2021-12-091-18/+18
* html: Fix indentation.Ricardo Wurmus2021-12-091-2/+3
* html: issue-page: Fix typo.Ricardo Wurmus2021-12-091-1/+1
* Add handler for downloading patch sets.Ricardo Wurmus2021-03-312-3/+68
* view/html: issue-page: Include internal messages when assigning ids....Ricardo Wurmus2021-03-311-23/+28