search

replicate / codespaces

Internal scripts and tools to make Codespaces work better
6 stars 3 forks source link

rm docker.pid #5

Closed chenxwh closed 1 year ago

chenxwh commented 1 year ago

Related to https://github.com/replicate/codespaces/issues/4

zeke commented 1 year ago

Nice!

@andreasjansson any idea why this might have just recently popped up as an issue?