concurrent update #3
Description
what happens if two persons start in parallel two update the github repository?
do we need a semaphore (like announcing the task on irc, or similar...) or is there a technical solution (like a revert or so)?
{{ message }}