Branches

• disable_client

  05cb558f · drop some Python 3.9 stuff with isort enabled · Jan 02, 2025
• main default protected

  535a6604 · update main copyright notices for new year · Jan 01, 2025
• drop_manager_from_ui

  a665167b · client: remove ability to manage legacy servers · Dec 30, 2024
• generalize_mobilepages

  84b81425 · move error message near button · Dec 29, 2024
• 016x

  07f897b7 · Merge branch 'docs' into 'main' · Dec 18, 2024
• dark

  158442ca · CSS: some TODOs · Dec 16, 2024
• scan_cancel

  604cd897 · debug: busy wait inverting matrices · Dec 09, 2024
• scanning

  c6647fee · typing doesn't know it comes from decorator · Dec 03, 2024
• send_emails_script

  003ca5a8 · add updated send_emails script · Nov 20, 2024
• whittlin_silk

  1d49cea8 · CI fix · Nov 15, 2024
• ann_weds_mark

  b50b0b4e · annotator: if in sceneless mode, don't change tools · Oct 27, 2024
• bundle_separators

  a97b5133 · fix typo in bundle_separator_src.tex · Oct 13, 2024
• server_mod

  8f71b42b · plom_server dot imports using script · Sep 12, 2024
• rubric_buttons

  7338be45 · Merge remote-tracking branch 'origin/main' into rubric_buttons · Sep 02, 2024
• 0.15

  1a4a955c · Fixes #3546 · Aug 30, 2024
• chordettes

  b9c19e14 · Minor tweaks to reports · Aug 27, 2024
• misc_imports

  9d890bde · re-order imports · Aug 08, 2024
• ipo_dreams

  70ffa8d0 · Removing some deprecated classlists · Jul 31, 2024
• fedup

  8398cc8c · Remove the caching logic and append -arm64 to container · Jul 21, 2024
• server_status

  1b6acde4 · Add a server status page · Jul 12, 2024