| 1 |
On 06/07/12 09:51, Kacper Kowalik wrote: |
| 2 |
> On 07/05/2012 10:46 PM, Christoph Junghans wrote: |
| 3 |
>> Hi, |
| 4 |
>> |
| 5 |
>> recently it happened to me that the sci overlay on github and o.g.o |
| 6 |
>> got out of sync. |
| 7 |
>> (timcera pushed to github only and I pushed to o.g.o first and then |
| 8 |
>> the push to the 2nd url failed) |
| 9 |
>> |
| 10 |
>> I really think we should autosync them as with more pull request this |
| 11 |
>> situation will get more likely. |
| 12 |
> To my knowledge it's impossible to sync two rw git repos. All severe |
| 13 |
> conflicts need manual resolution, the trival ones are delt with git |
| 14 |
> push/pull --all already. |
| 15 |
> Both repos were out of sync just a momement ago, but it was "fixable" in |
| 16 |
|
| 17 |
fixable -> octupus |
| 18 |
|
| 19 |
I love that term. |
Archives