Do a better job at ignoring stuff

replit / polygott

Base Docker image for the Repl.it evaluation server

https://replit.com

MIT License

395 stars 103 forks source link

Do a better job at ignoring stuff #213

Closed lhchavez closed 3 years ago

lhchavez commented 3 years ago

It turns out that the semantics of the .dockerignore file does not quite match the ones from .gitignore ^^;; For the former, we need to explicitly mark a directory and all of its children as being ignored if we want to have that rule be recursive.

replbot commented 3 years ago

Good work, this PRs short and easy to review! Promoting to bop.

replbot commented 3 years ago

prebooping: tests are pending

replbot commented 3 years ago

unbooping: approved