I still feel like this is something we don't really want to do. Do you still feel strongly about this feature? If not, you can close this (and the linked issue). Otherwise, we'll talk about this in-person some more.

You could also repurpose the linked issue into something else, namely that we do need a more coherent story on synchronization issues (but I fear that there is no easy solution there).

I still feel like this is something we don't really want to do. Do you still feel strongly about this feature? If not, you can close this (and the linked issue). Otherwise, we'll talk about this in-person some more.

You could also repurpose the linked issue into something else, namely that we do need a more coherent story on synchronization issues (but I fear that there is no easy solution there).

I don't feel that strongly about it anymore - I think we found a good way to handle merges and deletions.
The synchronization will need some work/upgrades in the future, so I'll rework the issue