"
Creating a Commit (in DPP)
System under discussion: IDE with Saros Plugin
Primary actor: Alice
Secondary actor: Bob
Goal: One new commit and moving branch to this commit for Alice and Bob
Conditions: checkout at a branch, same code on each side
1. Alice click on commit
2. IDE commit to Alice's local repository
3. Bob discard changes since the pre-commit
4. Bob informs IDE to fetch from Alice's repository
5. IDE bring Bob's repository to the same code as Alice's. Bob also had the new commit under the same branch.
"