From owner-freebsd-doc@freebsd.org  Sun Feb 14 18:36:35 2016
Return-Path: <owner-freebsd-doc@freebsd.org>
Delivered-To: freebsd-doc@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 9AC6EAA8016
 for <freebsd-doc@mailman.ysv.freebsd.org>;
 Sun, 14 Feb 2016 18:36:35 +0000 (UTC)
 (envelope-from wblock@wonkity.com)
Received: from wonkity.com (wonkity.com [67.158.26.137])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client CN "wonkity.com", Issuer "wonkity.com" (not verified))
 by mx1.freebsd.org (Postfix) with ESMTPS id 6B3FA9B7;
 Sun, 14 Feb 2016 18:36:35 +0000 (UTC)
 (envelope-from wblock@wonkity.com)
Received: from wonkity.com (localhost [127.0.0.1])
 by wonkity.com (8.15.2/8.15.2) with ESMTPS id u1EIaY5p087547
 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO);
 Sun, 14 Feb 2016 11:36:34 -0700 (MST)
 (envelope-from wblock@wonkity.com)
Received: from localhost (wblock@localhost)
 by wonkity.com (8.15.2/8.15.2/Submit) with ESMTP id u1EIaXC9087544;
 Sun, 14 Feb 2016 11:36:34 -0700 (MST)
 (envelope-from wblock@wonkity.com)
Date: Sun, 14 Feb 2016 11:36:33 -0700 (MST)
From: Warren Block <wblock@wonkity.com>
To: Svyatoslav Razmyslov <razmyslov@viva64.com>
cc: freebsd-doc@FreeBSD.org, Andrey Karpov <karpov@viva64.com>,
 wblock@FreeBSD.org
Subject: Re: Checking FreeBSD kernel with static analyzer
In-Reply-To: <56BC31B6.6010405@viva64.com>
Message-ID: <alpine.BSF.2.20.1602141134380.80955@wonkity.com>
References: <56BB00C3.5060309@viva64.com>
 <alpine.BSF.2.20.1602100806460.99531@wonkity.com>
 <56BB5718.1090700@viva64.com>
 <alpine.BSF.2.20.1602101145330.99531@wonkity.com>
 <56BC31B6.6010405@viva64.com>
User-Agent: Alpine 2.20 (BSF 67 2015-01-07)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII; format=flowed
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3
 (wonkity.com [127.0.0.1]); Sun, 14 Feb 2016 11:36:34 -0700 (MST)
X-BeenThere: freebsd-doc@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: Documentation project <freebsd-doc.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-doc>,
 <mailto:freebsd-doc-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-doc/>
List-Post: <mailto:freebsd-doc@freebsd.org>
List-Help: <mailto:freebsd-doc-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-doc>,
 <mailto:freebsd-doc-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 14 Feb 2016 18:36:35 -0000

On Thu, 11 Feb 2016, Svyatoslav Razmyslov wrote:

> Hi, Warren.
>
> I used GitHub repository: https://github.com/freebsd/freebsd
> git branch: master
>
> For command: "git rev-list HEAD --count", verified revision is 217717.

Sorry, is that a Subversion revision number?  217717 in our Subversion 
repository dates back to 2011.