From owner-freebsd-current@freebsd.org Tue Nov 29 11:05:24 2016 Return-Path: Delivered-To: freebsd-current@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 7AA46C596C4 for ; Tue, 29 Nov 2016 11:05:24 +0000 (UTC) (envelope-from AWilcox@Wilcox-Tech.com) Received: from mail.wilcox-tech.com (mail.foxkit.us [45.32.83.9]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mail.wilcox-tech.com", Issuer "StartCom Class 1 DV Server CA" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 8764018EA for ; Tue, 29 Nov 2016 11:05:23 +0000 (UTC) (envelope-from AWilcox@Wilcox-Tech.com) Received: (qmail 29936 invoked from network); 23 Nov 2016 18:11:54 -0000 Received: from ip68-13-242-69.ok.ok.cox.net (HELO ?10.1.1.57?) (awilcox@wilcox-tech.com@68.13.242.69) by mail.foxkit.us with ESMTPA; 23 Nov 2016 18:11:54 -0000 Subject: Re: Optimising generated rules for SAT solving (5/12 are duplicates) To: freebsd-current@freebsd.org References: <20150414200459.GE39658@ivaldir.etoilebsd.net> <20150421103454.GR1394@zxy.spb.ru> <5593D0AE.2010205@selasky.org> <416359ce-1dcd-1160-5c56-f120a0f6358f@selasky.org> <20160627115533.gqvdsmtzwnvrrfuo@ivaldir.etoilebsd.net> <0671148b-d7cd-f8ad-906d-a0baa1b98cf5@selasky.org> From: "A. Wilcox" Message-ID: <5835DBDE.8010409@Wilcox-Tech.com> Date: Wed, 23 Nov 2016 12:11:42 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="w4PtONbM2piogfoE6xcA6rgxwgQJ7XLnM" X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 29 Nov 2016 11:05:24 -0000 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --w4PtONbM2piogfoE6xcA6rgxwgQJ7XLnM Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On 23/11/16 10:47, Ed Schouten wrote: > 2016-11-23 17:41 GMT+01:00 Hans Petter Selasky : >> GitHub wouldn't allow me to make a .diff attachment. >=20 > But there's absolutely no need for doing that in the first place! :-) >=20 > 1. Go to https://github.com/freebsd/pkg > 2. Click 'Fork' on the top right. This will probably create a > https://github.com/hselasky/pkg > 3. Check out that repository using git(1), create a separate branch > and commit the changes to the SAT solver. > 4. Go to https://github.com/hselasky/pkg and click on 'New pull request= '. > 5. Fill in the form. >=20 Or you could just, I don't know, email the diff as a patch using git send-email like normal people instead of using GitHub's walled garden. That way, people without GitHub accounts can still comment on it. Just my 2=A2. --arw --=20 A. Wilcox (awilfox) Open-source programmer (C, C++, Python) https://code.foxkit.us/u/awilfox/ --w4PtONbM2piogfoE6xcA6rgxwgQJ7XLnM Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJYNdveAAoJEMspy1GSK50U/WYP/2hx87Wrr22kV9UJmM2q8cd0 RHxaZxK0O51JxHL0x/09/5f+f6U0EFhipiIQOIuevtue6tkgZnTA+3Luj5LmUvZp 4DjdDsvbIUjAj8rVnzMVgSIl2tK/jpoiekxny/t9O8ogj40b+7t923Hawzku/m7H d0Hpo1rD6IJfWd1dOagQFlQ+jNhEFtHo60EjGfpNB3q7ah35G11iuZh/djbBje1K XNt7WNPU45/DdUehsesaPSH8O04V4WAZrP81HsnRFsSbTcwuHi+Es5sJ6lABDUMu e+iFzOkHt8ijsS+L2TvPxFOFmPXkGCR4Xhh/mTwgOcOfAFF/sunZ8p+ettB7OARF kEGQNA6CET4kWkp/PgtfZBaiYE40ZLn3jYqOYUBsNBT7jjIKMxQTg4Y9+W6OP/vn JRpx+9eBT5fXYTS4j1Xg8dJBo+KTn+Q4+i1K18Ab/1VCSIBm9FcZzmL2uWV9j1qV ujACt9sZ1oYrDXIK3YDwA+t9j6MtBatXt6rjc08YXTSUyX3ZRB5wYnDOerw0THFx cIgWmTAvSEwd5I8RAwXqQk4pfs4jhNZBsKPHx65E5lIXFLR4y/Ly/NilLVUh+k/a dg1PSXu4dX2Decvp11pR12C9Dzo7oBGFce1do0mJIuvJTuftDz4byIupiGP3C67+ aDRuWvDs9n6mXhjZK5OZ =nFKt -----END PGP SIGNATURE----- --w4PtONbM2piogfoE6xcA6rgxwgQJ7XLnM--