mirror of
https://github.com/zrepl/zrepl.git
synced 2025-05-30 06:41:08 +02:00
As became clear in #126 (comment) the current zrepl:placeholder user property makes it hard to rename datasets because the placeholder status is determined by computing a hash of the dataset path and comparing it with the property value. This PR - changes zrepl:placeholder to a simple on|off property - derives property status from the property source (local),avoiding the original problem of property inheritance in the original implementation - provides a migration command that, based on the current zrepl configuration, migrates property values to the new on|off schema refs #150