probablycorey
  • Joined on 2025-09-25
probablycorey commented on pull request probablycorey/workshop#13 2026-03-10 17:05:56 +00:00
Fix Discord message rendering

neat

probablycorey created pull request probablycorey/workshop#13 2026-03-10 17:02:31 +00:00
Fix Discord message rendering
probablycorey created branch probablycorey/fix-discord-message in probablycorey/workshop 2026-03-10 17:02:23 +00:00
d12ee5c52d Fix Discord message rendering: remove stray blockquote character
probablycorey commented on pull request defunkt/toes#6 2026-03-10 17:00:10 +00:00
Is this on discord

comment!

probablycorey created pull request defunkt/toes#6 2026-03-10 16:55:56 +00:00
Is this on discord
probablycorey created branch sorry-ignore-me-please in probablycorey/toes 2026-03-10 16:55:30 +00:00
probablycorey pushed to sorry-ignore-me-please at probablycorey/toes 2026-03-10 16:55:30 +00:00
38f4b13d3e Update README.md
probablycorey pushed to main at probablycorey/workshop 2026-03-10 16:54:35 +00:00
726c76cf96 Merge pull request 'Fix crash log file not found error in spike' (#12) from probablycorey/fix-crash-log-path into main
c9fc834f4e Fix crash log file not found error in spike
Compare 2 commits »
probablycorey merged pull request probablycorey/workshop#12 2026-03-10 16:54:32 +00:00
Fix crash log file not found error in spike
probablycorey created pull request probablycorey/workshop#12 2026-03-10 16:53:40 +00:00
Fix crash log file not found error in spike
probablycorey created branch probablycorey/fix-crash-log-path in probablycorey/workshop 2026-03-10 16:53:29 +00:00
c9fc834f4e Fix crash log file not found error in spike
probablycorey pushed to main at probablycorey/workshop 2026-03-10 16:28:42 +00:00
1f386df256 Merge pull request 'Add typed event logging and restructure server' (#11) from probablycorey/simple-logging into main
57fcf9616d Merge origin/main into probablycorey/simple-logging
96b6a4311b Remove redundant sha from StoredLogEvent type
04aa7c1c91 Add typed event logging system and restructure server
Compare 4 commits »
probablycorey merged pull request probablycorey/workshop#11 2026-03-10 16:28:41 +00:00
Add typed event logging and restructure server
probablycorey pushed to probablycorey/simple-logging at probablycorey/workshop 2026-03-10 16:28:32 +00:00
57fcf9616d Merge origin/main into probablycorey/simple-logging
abdb81572b Merge pull request 'Add integration tests for Spike PR→Discord bridge' (#10) from probablycorey/test-other-user-pr into main
6b30715fa1 Add integration tests for Spike PR→Discord bridge
Compare 3 commits »
probablycorey created pull request probablycorey/workshop#11 2026-03-10 16:25:39 +00:00
Add typed event logging and restructure server
probablycorey merged pull request probablycorey/workshop#10 2026-03-10 16:25:03 +00:00
Add integration tests for Spike PR→Discord bridge
probablycorey pushed to main at probablycorey/workshop 2026-03-10 16:25:03 +00:00
abdb81572b Merge pull request 'Add integration tests for Spike PR→Discord bridge' (#10) from probablycorey/test-other-user-pr into main
6b30715fa1 Add integration tests for Spike PR→Discord bridge
Compare 2 commits »
probablycorey created pull request probablycorey/workshop#10 2026-03-10 16:24:28 +00:00
Add integration tests for Spike PR→Discord bridge