Michael Goerz

> I've added a `demo` function that displays most things that get affected by a `Theme` (not all, e.g. can't display error stack traces). Super helpful. I've started a light-background...

Interested, yes 😀. Available, probably not (or at least I shouldn't). Maybe I won't be able to help myself, so let's see. But if someone else wants to jump in,...

I feel this might push `pydoit` a little far outside its core focus. Moreover, actions in `pydoit` can be arbitrary python callables, which can't be directly pushed to a cluster...

So I played around with this during the last week, and it seems to work pretty well. I've added a writeup to the [clusterjob](https://github.com/goerz/clusterjob) documentation: http://clusterjob.readthedocs.io/en/latest/pydoit_pipeline.html This is for the...

When running in an IPython (notebook) context as `%doit dumpdb`, a custom `dep_file` in a `DOIT_CONFIG` dictionary I might define does not seem to be taken into account. I find...

Done (#183). If I have some time at some point in the near future, I might look into making such a pull request.

You could do it like Overleaf: Create commits from online edits in the web interface only when someone pulls git. That way, people can collaborate asynchronously with git, or synchronously...

Oh, I'm not talking about Overleaf's integration with Github (never tried that). What I mean is the git support that's built into the paid version of Overleaf, where every Overleaf...

And yes, it would require hedgedoc itself to act as a git server

+1. I'd very much like to be able to configure two themes in Blink's settings which get used depending on whether the system is in Dark Mode or Light Mode....