Pijul Introduces Theory-Based Distributed Version Control System

Pijul offers several key features that distinguish it from Git and other version control systems. Its commutation capability allows independent changes to be applied in any order without changing the result or version identifier, simplifying workflows compared to git rebase or hg transplant. The system uses channels instead of traditional branches, where feature branches often become simple changes. Pijul guarantees merge correctness by always preserving line order, unlike 3-way merges that may shuffle lines. Conflicts are treated as first-class citizens rather than failures, occurring between two changes and solved by one resolution change that permanently resolves the conflict. The system supports partial clones, allowing users to clone only relevant repository subsets while still producing changes compatible with the full repository. Developed by Pierre-Étienne Meunier and Florent Becker, Pijul is bootstrapped and uses itself for development.