pijul_org/pijul

#77 Ever non-conflicting branches

Opened by gabomgp, on May 9, 2017
Open
gabomgp commented on May 9, 2017

For simplicity, is good to have the option to mark a branch as conflict-free. A conflict free branch don't accept push if the new patches create conflict with the previus ones in the branch. For example, in the nest, my master branch is always conflict free, and when i or other push patches to it, if there is conflict, the patches are rejected. I must firstly pull the patches from the master branch in the nest, solve the conflicts locally and push after that. Similar to git. I think conflict free branches are usefull for "oficial" repositories.

pmeunier commented on May 9, 2017

Florent and myself discussed a new semantics for push/pull to prevent users from accidentally creating on the remote end states they've never seen locally.

Git does that with "fast forward" pulls, for purely technical reasons. Here we have more flexibility: any set of patch closed for dependencies is valid. Any comments welcome!