On Sat, Sep 21, 2019 at 05:32:03PM -0400, Jason Merrill wrote:
> On Sat, Sep 21, 2019 at 2:18 PM Segher Boessenkool
> wrote:
> >
> > On Thu, Sep 19, 2019 at 03:29:27PM -0400, Jason Merrill wrote:
> > > I suppose we also need to decide what form we want to use for the
> > > equivalent of gcc.gnu.or
On Sat, Sep 21, 2019 at 2:18 PM Segher Boessenkool
wrote:
>
> On Thu, Sep 19, 2019 at 03:29:27PM -0400, Jason Merrill wrote:
> > I suppose we also need to decide what form we want to use for the
> > equivalent of gcc.gnu.org/rN. I figure it needs to be some prefix
> > followed by a "commit-is
On 9/21/19 2:18 PM, Segher Boessenkool wrote:
On Thu, Sep 19, 2019 at 03:29:27PM -0400, Jason Merrill wrote:
I suppose we also need to decide what form we want to use for the
equivalent of gcc.gnu.org/rN. I figure it needs to be some prefix
followed by a "commit-ish" (hash, tag, etc.). P
On Thu, Sep 19, 2019 at 03:29:27PM -0400, Jason Merrill wrote:
> I suppose we also need to decide what form we want to use for the
> equivalent of gcc.gnu.org/rN. I figure it needs to be some prefix
> followed by a "commit-ish" (hash, tag, etc.). Perhaps "g:" as the
> prefix, so
>
> gcc.gnu.
On Wed, Aug 14, 2019 at 2:14 PM Jason Merrill wrote:
> On Mon, Aug 5, 2019 at 2:22 PM Jason Merrill wrote:
> > On 8/5/19 11:34 AM, Jakub Jelinek wrote:
> > > On Mon, Aug 05, 2019 at 11:20:09AM -0400, Jason Merrill wrote:
> > >> I agree. But for those who want a monotonically increasing
> > >> id
On Mon, Aug 5, 2019 at 2:22 PM Jason Merrill wrote:
> On 8/5/19 11:34 AM, Jakub Jelinek wrote:
> > On Mon, Aug 05, 2019 at 11:20:09AM -0400, Jason Merrill wrote:
> >> I agree. But for those who want a monotonically increasing
> >> identifier, there's already one in git: CommitDate. In the discus
On 8/5/19 11:34 AM, Jakub Jelinek wrote:
On Mon, Aug 05, 2019 at 11:20:09AM -0400, Jason Merrill wrote:
I agree. But for those who want a monotonically increasing
identifier, there's already one in git: CommitDate. In the discussion
of this issue four years ago,
While commit date is monotoni
On 05/08/2019 16:34, Jakub Jelinek wrote:
On Mon, Aug 05, 2019 at 11:20:09AM -0400, Jason Merrill wrote:
I agree. But for those who want a monotonically increasing
identifier, there's already one in git: CommitDate. In the discussion
of this issue four years ago,
While commit date is monoton
On Mon, Aug 05, 2019 at 11:20:09AM -0400, Jason Merrill wrote:
> I agree. But for those who want a monotonically increasing
> identifier, there's already one in git: CommitDate. In the discussion
> of this issue four years ago,
While commit date is monotonically increasing, it has the problem th
On Mon, Aug 5, 2019 at 9:20 AM Martin Liška wrote:
> Based on the IRC discussion with Jakub, there's missing key element of the
> transition.
> Jakub requests to have a monotonically increasing revisions (aka rXXX) to
> be assigned
> for the future git revisions. These will be linked from b
10 matches
Mail list logo
