11 Dec
2013
11 Dec
'13
9:33 a.m.
On 11 December 2013 07:43, Vladimir Prus
Just look at develop-rewritten branch in build repo - it is a history-rewritten version of 'develop', but no forced push is necessary - because it's another branch.
You're going to have to use a forced push to replace master and trunk.