All pull requests

Pull requests

• Prevent log creation when no CLI command runs

  #2919·nightcityblade opened Aug 9, 2026Contributor·

  ·
  1

  1

• Ignore macOS metadata in CLI tests

  #2914·nightcityblade opened Aug 1, 2026Contributor·

  ·
  1

  1

• Replace mobile navbar scroll with hamburger menu

  #2903·15-Manya opened Jun 19, 2026·

  ·
  1

• Add Pagefind incremental indexing

  #2890·MoshiMoshiMochi opened Apr 13, 2026Contributor·

  ·
  1

  19

• Feature update search to include body

  #2848·Incogdino opened Feb 27, 2026Contributor·

  ·
  1

• Add setup to pretest script

  r.Minor
  #2824·yihao03 opened Feb 2, 2026Contributor·

  ·
  9

• Add create-pull-request skill for GitHub PR automation

  #2807·MoshiMoshiMochi opened Jan 28, 2026Contributor·

  ·
  19

• Fix issue with 404 page not working locally

  #2724·AgentHagu opened Jun 2, 2025Contributor·

  ·
  1

  2

• Fix KaTeX font issue

  #2723·AgentHagu opened May 30, 2025Contributor·

  ·
  1

  1

• Fix markdown-it-texmath rendering of /[a-z]+\*/ format environments

  #2711·yyccbb opened Apr 20, 2025Member·

  ·
  1

  1

• Add new "Explore Codebase" page for DG

  #2618·yyccbb opened Mar 2, 2025Member·

  ·
  1

• [Request for comments]: Site Versioning

  #1870·kaixin-hc opened Apr 2, 2022Contributor·

  ·
  123