Date: Wed, 23 Nov 2016 17:47:39 +0100 From: Ed Schouten <ed@nuxi.nl> To: Hans Petter Selasky <hps@selasky.org> Cc: Baptiste Daroussin <bapt@freebsd.org>, Slawa Olhovchenkov <slw@zxy.spb.ru>, ports@freebsd.org, FreeBSD Current <freebsd-current@freebsd.org> Subject: Re: Optimising generated rules for SAT solving (5/12 are duplicates) Message-ID: <CABh_MK=bR6VqrJtbPLaoOVSffFis=nJajoEmMym=eMrprN0NKw@mail.gmail.com> In-Reply-To: <e9e1571b-443a-2452-926b-1d9f5b2f8e37@selasky.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> <cbc964a7-5f90-6ea1-630d-414de68867b1@selasky.org> <CABh_MKm7LAtQzp9KEBpaRZWQQHnsUtNFiKVSVF70-wj4GmytuA@mail.gmail.com> <e9e1571b-443a-2452-926b-1d9f5b2f8e37@selasky.org>
next in thread | previous in thread | raw e-mail | index | archive | help
2016-11-23 17:41 GMT+01:00 Hans Petter Selasky <hps@selasky.org>: > GitHub wouldn't allow me to make a .diff attachment. But there's absolutely no need for doing that in the first place! :-) 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. -- Ed Schouten <ed@nuxi.nl> Nuxi, 's-Hertogenbosch, the Netherlands KvK-nr.: 62051717
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CABh_MK=bR6VqrJtbPLaoOVSffFis=nJajoEmMym=eMrprN0NKw>