From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Thompson, David" Subject: Re: [PATCH 032/151] gnu: Add ghc-hspec-discover. Date: Tue, 20 Oct 2015 11:18:40 -0400 Message-ID: References: <1444911697-15515-22-git-send-email-paul@denknerd.org> <1445266613-11794-1-git-send-email-ericbavier@openmailbox.org> <87twpl4qhn.fsf@denknerd.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33325) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZoYgX-0005XL-3s for guix-devel@gnu.org; Tue, 20 Oct 2015 11:18:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZoYgT-0002l7-06 for guix-devel@gnu.org; Tue, 20 Oct 2015 11:18:45 -0400 Received: from mail-yk0-f181.google.com ([209.85.160.181]:34302) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZoYgS-0002kg-SP for guix-devel@gnu.org; Tue, 20 Oct 2015 11:18:40 -0400 Received: by ykdr3 with SMTP id r3so19754660ykd.1 for ; Tue, 20 Oct 2015 08:18:40 -0700 (PDT) In-Reply-To: <87twpl4qhn.fsf@denknerd.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Paul van der Walt Cc: guix-devel On Tue, Oct 20, 2015 at 9:30 AM, Paul van der Walt 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