Hi
On Wed, 31 Aug 2022 at 09:23, Kwankyu Lee wrote:
> Perhaps need to update trac server ssh keys stored in github?
>
This is quite likely. Who has access, where is this done?
Regards,
Jan
>
> On Wednesday, August 31, 2022 at 4:10:34 PM UTC+9 emanuel.c...@gmail.com
> wrote:
>
>> And an att
Perhaps need to update trac server ssh keys stored in github?
On Wednesday, August 31, 2022 at 4:10:34 PM UTC+9 emanuel.c...@gmail.com
wrote:
> And an attempt to fetch a ticket also failed for related reasons :
>
> charpent@zen-book-flip:/usr/local/sage-9$ git trac checkout 34457
> Loading ticke
And an attempt to fetch a ticket also failed for related reasons :
charpent@zen-book-flip:/usr/local/sage-9$ git trac checkout 34457
Loading ticket #34457...
Traceback (most recent call last):
File "/home/charpent/Dev/git-trac-command/git_trac/digest_transport.py",
line 106, in single_request
The Web site is still unreachable.
Le mercredi 31 août 2022 à 09:02:53 UTC+2, Emmanuel Charpentier a écrit :
> Ditto from Git via SSH :
>
> ```charpent@zen-book-flip:/usr/local/sage-9$ git fetch
> @@@
> @WARNING: REMOTE HOST IDENTIFICATI
Ditto from Git via SSH :
```charpent@zen-book-flip:/usr/local/sage-9$ git fetch
@@@
@WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! @
@@@
IT IS POSSIBLE THAT SOMEONE IS DOING S
