Parallel edits of the wiki
Hi,
When two people edit a wiki page at the same time, using the web interface, they may loose their last edits.
Here is a simple scenario to reproduce:
- User A opens a wiki page for edition.
- User B opens the same wiki page for edition.
- Users A and B edit the wiki page.
- User A saves the wiki page.
- User B saves the wiki page.
Changes made by user A will be lost, as both "save" actions create a commit from the same old commit and move the HEAD, as far as I understood. Without using some git magic, the changes made by user A are definitely lost.
A big warning message when user B saves stating that "the local wiki page has been modified during your edit, are you really sure you want to overwrite it" would be cool :)