On Tue, Oct 20, 2015 at 9:30 AM, Paul van der Walt <p...@denknerd.org> wrote: > Hi Eric, > > I'm starting to fix up your comments. > > When i'm done, should i git push -f to the wip-haskell-platform-7.10.2-a > branch, or should i drop that one and create a new one?
You cannot force push to the Savannah repo. Instead, do the latter option: Delete the branch from the remote and re-create it. Thanks, - Dave
