Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | css: Make sidebar respond to hover. | Ricardo Wurmus | 2022-12-20 | 1 | -4/+11 | |
| | ||||||
* | css: Improve dark mode colors. | Ricardo Wurmus | 2022-12-20 | 2 | -9/+12 | |
| | ||||||
* | css: Adjust table colors. | Ricardo Wurmus | 2022-12-20 | 1 | -3/+11 | |
| | ||||||
* | html: Remove extra classes. | Ricardo Wurmus | 2022-12-20 | 1 | -13/+8 | |
| | ||||||
* | css: Resize search box. | Ricardo Wurmus | 2022-12-20 | 1 | -1/+8 | |
| | ||||||
* | css: Reduce transparency of nav bar. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+2 | |
| | ||||||
* | html: Fix style of comment box and message headers. | Ricardo Wurmus | 2022-12-20 | 2 | -75/+71 | |
| | ||||||
* | html: Remove unnecessary classes from /help. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+2 | |
| | ||||||
* | view/utils: process: Do not generate "pre" elements. | Ricardo Wurmus | 2022-12-20 | 1 | -5/+5 | |
| | | | | | | The "pre" element has its own overflow setting, which causes individual lines to be either clipped or scrolled, which looks terrible. | |||||
* | html: Restore message cards and adjust gaps. | Ricardo Wurmus | 2022-12-20 | 2 | -67/+72 | |
| | ||||||
* | html: Fix styling of event badges. | Ricardo Wurmus | 2022-12-20 | 2 | -6/+23 | |
| | ||||||
* | html: Move submitter info and align buttons. | Ricardo Wurmus | 2022-12-20 | 2 | -91/+108 | |
| | ||||||
* | html: Use "article" for cards. | Ricardo Wurmus | 2022-12-20 | 1 | -33/+36 | |
| | ||||||
* | css: search-hints: Use variable colors. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+2 | |
| | ||||||
* | html: search-widget: Remove nested div. | Ricardo Wurmus | 2022-12-20 | 1 | -33/+31 | |
| | ||||||
* | css: Reduce overlap of search-hints on input. | Ricardo Wurmus | 2022-12-20 | 1 | -1/+4 | |
| | ||||||
* | Only change width of inline search form. | Ricardo Wurmus | 2022-12-20 | 1 | -3/+3 | |
| | ||||||
* | html: Use "main" element for all containers. | Ricardo Wurmus | 2022-12-20 | 1 | -7/+7 | |
| | ||||||
* | Add SVG logo and adjust nav styles. | Ricardo Wurmus | 2022-12-20 | 2 | -29/+187 | |
| | ||||||
* | html: Remove search icon and submit button. | Ricardo Wurmus | 2022-12-20 | 1 | -21/+0 | |
| | ||||||
* | Use "search" as input type for search bar. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+1 | |
| | ||||||
* | Remove bootstrap.css and build CSS from SCSS sources. | Ricardo Wurmus | 2022-12-20 | 6 | -8994/+556 | |
| | ||||||
* | Add pico.css. | Ricardo Wurmus | 2022-12-20 | 2 | -0/+3 | |
| | ||||||
* | Add QA status badge to issue page. | Arun Isaac | 2022-10-16 | 2 | -1/+20 | |
| | | | | | | | | * mumi/config.scm.in (%config): Add qa-scheme and qa-host configuration parameters. * mumi/web/view/html.scm: Import (web uri). (build-uri-path): New function. (issue-page): Add QA status badge. | |||||
* | view/html: Unambiguously imply date:YYYY-MM-DD. | Tobias Geerinckx-Rice | 2022-10-13 | 1 | -1/+1 | |
| | ||||||
* | controller: Do not hash msgid term twice. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+1 | |
| | ||||||
* | mumi: process-query: Do not mangle msgid term. | Ricardo Wurmus | 2022-07-06 | 1 | -0/+3 | |
| | ||||||
* | tests: Add a test for a message with abnormally large message id.0.0.2 | Ricardo Wurmus | 2022-07-06 | 6 | -1/+4434 | |
| | ||||||
* | Use a stable hash algorithm for message ids. | Ricardo Wurmus | 2022-07-06 | 4 | -5/+12 | |
| | ||||||
* | help: Mention msgid filter. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+4 | |
| | ||||||
* | xapian: search: Convert msgid string to hash. | Ricardo Wurmus | 2022-07-06 | 1 | -4/+9 | |
| | ||||||
* | tests: Add test for searching by msgid. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+5 | |
| | ||||||
* | Update copyright. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+1 | |
| | ||||||
* | Redirect /msgid/ URL to issue URL with message id anchor. | Ricardo Wurmus | 2022-06-05 | 3 | -7/+26 | |
| | ||||||
* | render: redirect: Do not permanently redirect. | Ricardo Wurmus | 2022-06-04 | 1 | -1/+1 | |
| | ||||||
* | render: redirect: Build relative URI. | Ricardo Wurmus | 2022-06-04 | 1 | -6/+4 | |
| | ||||||
* | controller: Add /msgid/ route. | Ricardo Wurmus | 2022-06-04 | 1 | -1/+7 | |
| | ||||||
* | xapian: Store hash of message id when indexing files. | Ricardo Wurmus | 2022-06-04 | 1 | -2/+12 | |
| | ||||||
* | jobs: set-status!: Expire after a month. | Ricardo Wurmus | 2022-06-03 | 1 | -3/+5 | |
| | ||||||
* | jobs: The job consists of options; don't store them separately. | Ricardo Wurmus | 2022-06-03 | 1 | -19/+10 | |
| | | | | | | | | | | | * mumi/jobs.scm (mail-job): Remove RAW-ARGS argument and read arguments from JOB instead. (worker-loop): Adjust caller of MAIL-JOB. (process-next): Remove separate OPTIONS; consider the ITEM itself to be a bunch of options. (enqueue): Do not set status, nor store options separately; just push the job options themselves as the job to the waiting list. (get-options, set-options!): Remove procedures. | |||||
* | jobs: Remove get-result/set-result. | Ricardo Wurmus | 2022-06-03 | 1 | -14/+1 | |
| | | | | | * mumi/jobs.scm (get-result, done?, set-result!): Remove procedures. (process-next): Do not use set-result!. | |||||
* | web: Preprocess search query from GraphQL before use. | Arun Isaac | 2022-02-17 | 1 | -1/+2 | |
| | | | | | * mumi/web/graphql.scm (<query>): Preprocess search query using process-query before passing on to search-bugs. | |||||
* | web: Implement GraphQL endpoint. | Arun Isaac | 2022-01-07 | 4 | -0/+127 | |
| | | | | | | | | * mumi/web/graphql.scm: New file. * Makefile.am (SOURCES): Register it. * configure.ac: Test for guile-kolam. * mumi/web/controller.scm: Import (mumi web graphql). (controller): Pass on GraphQL requests to handle-graphql. | |||||
* | web: Wrap handler before passing to run-server. | Arun Isaac | 2022-01-07 | 1 | -1/+7 | |
| | | | | | | | This enables live hacking via the REPL. * mumi/web/server.scm: Import (srfi srfi-26). (start-mumi-web-server): Wrap handler before passing it to run-server. | |||||
* | scripts: Allow the REPL to listen on Unix domain sockets. | Arun Isaac | 2022-01-07 | 1 | -12/+15 | |
| | | | | | | | * scripts/mumi.in (%options): Do not error out on non-numeric listen-repl arguments. Spawn REPL server on a TCP socket if listen-repl is numeric, else spawn REPL server on a Unix domain socket. | |||||
* | scripts: Make web server address and port configurable. | Arun Isaac | 2022-01-07 | 1 | -3/+22 | |
| | | | | | | * scripts/mumi.in (%options): Add address and port options. (show-mumi-usage): Mention address and port in mumi web usage. Pass on address and port options to start-mumi-web-server. | |||||
* | web: Parameterize web server listen address. | Arun Isaac | 2022-01-07 | 2 | -5/+5 | |
| | | | | | | * mumi/web/server.scm (start-mumi-web-server): Accept web server listen address as argument. * scripts/mumi.in: Pass 0.0.0.0 as web server listen address. | |||||
* | scripts: Report REPL server port. | Arun Isaac | 2022-01-07 | 1 | -1/+4 | |
| | | | | * scripts/mumi.in: Report REPL server port on current-error-port. | |||||
* | web: Report web server address and port. | Arun Isaac | 2022-01-07 | 1 | -0/+4 | |
| | | | | | * mumi/web/server.scm (start-mumi-web-server): Report web server address and port on current-error-port. | |||||
* | guix: Delete guix.scm. | Arun Isaac | 2022-01-07 | 1 | -63/+0 | |
| | | | | | | | | We don't need a guix.scm since mumi has been packaged upstream in Guix. We can enter a development environment by simply running `guix shell -D mumi'. * guix.scm: Delete file. |