Hendrik Kleinwaechter

Yes. I think that is a good idea.

Fixed in https://github.com/hendricius/pizza-dough/pull/97

We are having a similar problem. What we are doing: - Store a document in redis - Crawl a page, if the document is already in redis, take it from...

Hey folks - what's the state here? Is this something where I can help on?

Thank you. This fixed my issue!

Great idea. How would such a translation best be handled? A separate README.de.md file?

https://github.com/ClosureTree/closure_tree/issues/322 Just saw - we already have this issue open.

Agreed. The caching on Github is not ideal. I found this issue - maybe it can help? https://github.com/actions/cache/issues/31 Especially near the bottom: ``` - name: Build and push id: docker_build...

Sounds good - I will create a PR soon!

Same problem.