Race condition
Open
- Dominant language
- Haskell
- Stars
- 2.3k
- Forks
- 231
- PR merge metrics
- No merged PRs in 30d
Description
We've encountered this a few times:
1. Two people commit simultaneously
2. One of the edits succeeds (by guy A)
3. Guy B gets the merge page, commits
4. In the repo there is now a commit by A that contains B's changes. A's changes have disappeared
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.