probablycorey
0 Followers · 0 Following
  • Joined on 2025-09-25
Repositories
8
 Projects Packages Public Activity Starred Repositories
probablycorey commented on pull request probablycorey/workshop#1 2025-11-07 18:37:37 +00:00
I am testing this out

This is a reply to the PR review comment

probablycorey commented on pull request probablycorey/workshop#1 2025-11-07 18:37:21 +00:00
I am testing this out

This is a PR review comment

probablycorey commented on pull request probablycorey/workshop#1 2025-11-07 18:37:21 +00:00
I am testing this out

This is the body of the review

probablycorey commented on pull request probablycorey/workshop#1 2025-11-07 18:36:45 +00:00
I am testing this out

This is a PR comment

probablycorey commented on pull request probablycorey/workshop#1 2025-11-07 18:32:45 +00:00
I am testing this out

yes he is!

probablycorey created pull request probablycorey/workshop#1 2025-11-07 18:31:57 +00:00
I am testing this out
probablycorey pushed to discord-test at probablycorey/workshop 2025-11-07 18:31:41 +00:00
a41e086d76 yes
probablycorey created branch discord-test in probablycorey/workshop 2025-11-07 18:26:38 +00:00
probablycorey pushed to discord-test at probablycorey/workshop 2025-11-07 18:26:38 +00:00
probablycorey pushed to main at probablycorey/workshop 2025-11-07 17:52:56 +00:00
883c69d517 get that subdomain
probablycorey pushed to main at probablycorey/workshop 2025-11-07 17:40:23 +00:00
bdf6a288b1 try it out!
probablycorey created branch main in probablycorey/workshop 2025-11-07 15:55:23 +00:00
probablycorey pushed to main at probablycorey/workshop 2025-11-07 15:55:23 +00:00
142d9ddf9b no more
e5904927eb don't break on lowercase readmes
e4b0ebc3e1 apps
3fc9bfad4a sneaker wip
8f8c70e10e fixed runner
Compare 10 commits »
probablycorey created repository probablycorey/workshop 2025-11-07 15:50:56 +00:00
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-07 15:30:26 +00:00
13adbe4c0e Merge branch 'less-parsing' of 54.219.130.253:probablycorey/shrimp into less-parsing
b3ec6995db Update server.ts
854ed02625 Merge branch 'mini-fix' into less-parsing
1082cc1281 Forgot to set globals in server
Compare 4 commits »
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-07 15:28:14 +00:00
c325bca611 Merge branch 'main' into less-parsing
afaedeea23 probably using list.sort is okay?
3ac606d0b2 prelude is now preloaded
62e42328e1 fix test issues
Compare 4 commits »
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-07 00:59:58 +00:00
5b363c833a Merge remote-tracking branch 'origin/main' into less-parsing
e0095b110f Merge pull request 'Whoops, I had two things called scopeTracker' (#26) from name-things-better into main
a38932a833 Merge remote-tracking branch 'origin/main' into name-things-better
03596aab5b Merge branch 'name-things-better' of 54.219.130.253:probablycorey/shrimp into name-things-better
bd1dbe75f3 Merge pull request 'Make the extension know about the prelude' (#25) from extension-update into main
Compare 13 commits »
probablycorey pushed to main at probablycorey/shrimp 2025-11-07 00:58:37 +00:00
e0095b110f Merge pull request 'Whoops, I had two things called scopeTracker' (#26) from name-things-better into main
a38932a833 Merge remote-tracking branch 'origin/main' into name-things-better
03596aab5b Merge branch 'name-things-better' of 54.219.130.253:probablycorey/shrimp into name-things-better
061452a334 Better names
4494cbce91 Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
Compare 7 commits »
probablycorey merged pull request probablycorey/shrimp#26 2025-11-07 00:58:36 +00:00
Whoops, I had two things called scopeTracker
probablycorey pushed to name-things-better at probablycorey/shrimp 2025-11-07 00:58:30 +00:00
a38932a833 Merge remote-tracking branch 'origin/main' into name-things-better
03596aab5b Merge branch 'name-things-better' of 54.219.130.253:probablycorey/shrimp into name-things-better
bd1dbe75f3 Merge pull request 'Make the extension know about the prelude' (#25) from extension-update into main
669e58b71e Merge branch 'extension-update' of 54.219.130.253:probablycorey/shrimp into extension-update
152aac269f Merge remote-tracking branch 'origin/main' into extension-update
Compare 10 commits »