From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH] gnu: Add texmaker. Date: Thu, 26 May 2016 12:15:56 -0400 Message-ID: <20160526161556.GA11017@jasmine> References: <87posdzltg.fsf@gnu.org> <878tz0mpdd.fsf@gnu.org> <874m9owh78.fsf@gnu.org> <87shx7ainc.fsf@gnu.org> <87y46z6yif.fsf@gnu.org> <87a8jdl0am.fsf@gnu.org> <87d1o9yzm5.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53639) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1b5xxO-0005wG-Bu for guix-devel@gnu.org; Thu, 26 May 2016 12:16:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1b5xxH-0006Vg-LC for guix-devel@gnu.org; Thu, 26 May 2016 12:16:21 -0400 Content-Disposition: inline In-Reply-To: <87d1o9yzm5.fsf@gnu.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" To: Roel Janssen Cc: Guix-devel On Thu, May 26, 2016 at 10:47:46AM +0200, Roel Janssen wrote: > Pushed. Is there an interface other than the following command to > verify the commits are signed?: > > git --no-pager log --show-signature -1 `git verify-commit` can be used to programmatically verify the signatures of commits. I sent an example of how to use it in the 'pre-push' hook attached to this message: http://lists.gnu.org/archive/html/guix-devel/2016-05/msg00661.html