Joachim Jablon

Nice :) I'm going to push my luck: would you be interested in developing it? Of course, we'll do our best to support you!

You'll probably be interested to look how Django migrations are done. 3 steps: - A custom sql migration class to ease using an official procrastinate migrations - the migrations themselves...

After reviewing the ticket, I confirm the greenlight to a simple in-house migration system. Let's see how it goes :)

Don't worry, we all do what we can with limited resources. Thanks for having considered it, and the door stays open if you want to revisit this.

> get the former version (this is a problem, and we might have to add a version table or an odd version file) Yes. A file is not a good...

Hey, Do you think you might be interested in making a PR for this ? Otherwise, I'm not sure I'll be able to tackle this soon.

Closed by #522 unless I'm mistaken

Hm, it appears that whatever you did triggered a new line to appear in `git diff` that the action doesn't know how to parse. This is a consequence of git...

I thought git didn't display the diff of binary files. I wonder what makes it decide to do so. Let's fix this the way you mentioned.

wait... How does the line start with @@ without being a `@@` diff line ? The assumption is that the lines that contain user-dependent files start with `+` or `-`...