Re: [dev] [PATCH] Use git to create dist archives.

2015-03-17 Thread Alex Pilon
On Tue, Mar 17, 2015 at 06:59:50AM +0100, Roberto E. Vargas Caballero wrote: > Why do you suppose that every person making a distribution package is > going to have a git repository?. We use git as our central > repository, but it doesn't mean we force to everyone to use it. I don't, but it's not

Re: [dev] [PATCH] Use git to create dist archives.

2015-03-16 Thread Roberto E. Vargas Caballero
Hi, > I considered that, but thought it the lesser evil. *Ideally*, build > systems and version control systems shouldn't be tightly coupled, if at > all. I have my own prejudices, and we can agree to cordially disagree on > such a trivial and here insignificant matter. Why do you suppose that

Re: [dev] [PATCH] Use git to create dist archives.

2015-03-16 Thread Alex Pilon
> On Mon, 16 Mar 2015 22:18:33 +0100 Alex Pilon wrote: > > Less code, and people notice when things aren't in the repo unlike a > > little used target. > On Mon, Mar 16, 2015 at 10:18:33PM +0100, Christoph Lohmann wrote: > That's too simple-minded. You are adding a dependency on git. I considered

Re: [dev] [PATCH] Use git to create dist archives.

2015-03-16 Thread Christoph Lohmann
Greetings. On Mon, 16 Mar 2015 22:18:33 +0100 Alex Pilon wrote: > commit ec6937b989a171e872c58bc60f8b21bd25880cd5 > Author: M Farkas-Dyck > Date: Wed Dec 10 14:29:34 2014 -0500 > > dist arg.h; needed to build > > diff --git a/Makefile b/Makefile > index 52af636..2

[dev] [PATCH] Use git to create dist archives.

2015-03-16 Thread Alex Pilon
It's easy to forget things, like fixed with the following out of tree patch. commit ec6937b989a171e872c58bc60f8b21bd25880cd5 Author: M Farkas-Dyck Date: Wed Dec 10 14:29:34 2014 -0500 dist arg.h; needed to build diff --git a/Makefile b/Makefile index 52af636..25719