Re: feature request
- From
- Angelo Borsotti <angelo.borsotti@gmail.com>
- Date
- Oct 16, 2012, 17:27 UTC
- Message-ID
- <CAB9Jk9DaJnN9wmzi-4P3+PqBOobOapnU50y5zkKV9-1CNpV3Yw@mail.gmail.com>
- In-Reply-To
- <CAH5451=1VU6oUzAyGXZvOW-Pk3+Os1mq1neum572venNjRfT+g@mail.gmail.com>
Hi Andrew,
one nice thing is to warn a developer that wants to modify a source file, that there is somebody else changing it beforehand. It is nicer than discovering that at push time. Take into account that there are changes in files that may be incompatible to each other, or that can be amenable to be automatically merged producing wrong results. So, knowing it could help.
-Angelo