[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: #5355 Doc: document grob metadata in SVG output in Notation Referenc
|
From: |
James Lowe |
|
Subject: |
Re: #5355 Doc: document grob metadata in SVG output in Notation Reference |
|
Date: |
Sun, 01 Jul 2018 09:16:00 +0100 (BST) |
Hello
On Sun, 1 Jul 2018 09:59:11 +0200, Urs Liska <address@hidden> wrote:
>
>
> Am 01.07.2018 um 09:55 schrieb James Lowe:
> > I don't know what the difference is between pull and fetch in terms of
> > 'rights' but I'd have thought it would be the same right?
> >
>
> Yes, the difference comes only on your own computer.
Which has not changed (in terms of ssh keys, ./gitconfig etc.) for about 2
years.
and like I said, it worked again briefly between about 11am and 3pm yesterday.
Can someone else try to fetch?
James