didericis

didericis pushed to master at didericis/math-research

2026-06-01 15:29:42 -04:00

88c74efd28 Add tire inner-boundary three-colour conjecture

didericis deleted branch fix/git-gate-daemon-timeouts from didericis/bot-bottle

2026-06-01 14:38:26 -04:00

didericis pushed to main at didericis/bot-bottle

2026-06-01 14:38:23 -04:00

6ea19a8d53 fix(git-gate): use smart http for smolmachines pushes

630e65e9a4 test(egress): cover blocked git push fail-fast

7bffaa791c fix(git-gate): shorten daemon client timeout

de2267d1b4 fix(git-gate): bound daemon client sessions

Compare 4 commits »

didericis closed issue didericis/bot-bottle#113

2026-06-01 14:38:21 -04:00

Interrupted git-gate pushes can leave receive-pack sessions wedged

didericis merged pull request didericis/bot-bottle#114

2026-06-01 14:38:20 -04:00

fix(git-gate): bound daemon client sessions

didericis pushed to master at didericis/math-research

2026-06-01 13:34:54 -04:00

31186a1f8c Remove source check count from table

didericis pushed to master at didericis/math-research

2026-06-01 13:33:35 -04:00

fdab1e2e33 Simplify level-cycle search table

didericis pushed to master at didericis/math-research

2026-06-01 13:10:54 -04:00

7e684e41a0 Add planar counterexample figure

didericis pushed to master at didericis/math-research

2026-06-01 02:02:11 -04:00

15fc7c3b8f Record level-cycle coloring conjectures

didericis pushed to master at didericis/math-research

2026-06-01 01:43:11 -04:00

f71852efd2 Add tire chromatic transfer content

didericis pushed to master at didericis/math-research

2026-06-01 01:41:21 -04:00

236a3f8288 Add level-cycle coloring conjecture

didericis pushed to master at didericis/math-research

2026-06-01 00:19:16 -04:00

2bbd863643 coloring_nested_tire_graphs: rename induced tire graph C -> T_{C'}

92f5efc3f1 coloring_nested_tire_graphs: notation cleanup pass

Compare 2 commits »

didericis approved didericis/bot-bottle#114

2026-05-29 23:54:43 -04:00

fix(git-gate): bound daemon client sessions

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:52:19 -04:00

fix(git-gate): bound daemon client sessions

Sounds good, keep it

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:36:02 -04:00

fix(git-gate): bound daemon client sessions

Would prefer we not roll our own git http handler/seems like we should be using either something already build into git (does it not have an inbuilt tool to do this) or some very lightweight, standard tool.

didericis deleted branch test/clone-push-delete from didericis/bot-bottle

2026-05-29 23:26:52 -04:00

didericis pushed to test/clone-push-delete at didericis/bot-bottle

2026-05-29 23:26:46 -04:00

didericis created branch test/clone-push-delete in didericis/bot-bottle

2026-05-29 23:26:46 -04:00

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:25:03 -04:00

fix(git-gate): bound daemon client sessions

didericis/bot-bottle#114 (comment)

Did we need to add smart-HTTP for the fix? Couldn't we have just used ssh:// instead of git:// when setting up the…

didericis pushed to fix/git-gate-daemon-timeouts at didericis/bot-bottle

2026-05-29 23:22:00 -04:00

6ea19a8d53 fix(git-gate): use smart http for smolmachines pushes