On Sun, Nov 24, 2019 at 8:44 PM Tom Lane wrote:
>
> John Naylor writes:
> > On Sat, Nov 23, 2019 at 11:39 PM vignesh C wrote:
> >> * Copyright (c) 2016-2019, PostgreSQL Global Development Group
>
> > While we're talking about copyrights, I noticed while researching
> > something else that the
Hello Tom,
While we're talking about copyrights, I noticed while researching
something else that the PHP project recently got rid of all the
copyright years from their files, which is one less thing to update and
one less cause of noise in the change log for rarely-changed files. Is
there
John Naylor writes:
> On Sat, Nov 23, 2019 at 11:39 PM vignesh C wrote:
>> * Copyright (c) 2016-2019, PostgreSQL Global Development Group
> While we're talking about copyrights, I noticed while researching
> something else that the PHP project recently got rid of all the
> copyright years from
On Thu, Nov 21, 2019 at 03:42:26PM -0500, Tom Lane wrote:
> Yeah, it'd be nice to have some greater consistency there. My own
> thought about it is that it's rare to have a file that's *completely*
> de novo code, and can be guaranteed to stay that way --- more usually
> there is some amount of
On Sun, Nov 24, 2019 at 7:24 AM John Naylor wrote:
>
> On Sat, Nov 23, 2019 at 11:39 PM vignesh C wrote:
>
> > * Copyright (c) 2016-2019, PostgreSQL Global Development Group
>
> While we're talking about copyrights, I noticed while researching
> something else that the PHP project recently got
On Sat, Nov 23, 2019 at 11:39 PM vignesh C wrote:
> * Copyright (c) 2016-2019, PostgreSQL Global Development Group
While we're talking about copyrights, I noticed while researching
something else that the PHP project recently got rid of all the
copyright years from their files, which is one
On Fri, Nov 22, 2019 at 2:12 AM Tom Lane wrote:
>
> Thomas Munro writes:
> > I'd like to get rid of those IDENTIFICATION lines completely (they are
> > left over from the time when the project used CVS, and that section
> > had a $Header$ "ident" tag, but in the git era, those ident tags are
> >
Thomas Munro writes:
> I'd like to get rid of those IDENTIFICATION lines completely (they are
> left over from the time when the project used CVS, and that section
> had a $Header$ "ident" tag, but in the git era, those ident tags are
> no longer in fashion).
I'm not for that. Arguments about
or including the copyright information in the source
> files. Let me know your thoughts on the same.
I'd like to get rid of those IDENTIFICATION lines completely (they are
left over from the time when the project used CVS, and that section
had a $Header$ "ident" tag, but in the
Hi,
I noticed that some of the source files does not include the copyright
information. Most of the files have included it, but few files have
not included it. I felt it should be included. The attached patch
contains the fix for including the copyright information in the source
files. Let me
10 matches
Mail list logo
