On 4/16/2023 3:54 PM, Carlos via ntg-context wrote:
It's just an interface much more simpler than what the git archive
backup interface currently in use presumably undergoes. Git is sort
of big as-is and that's not even counting all its remote helpers
by which all those places depend on (gitlab,
On Sat, Apr 15, 2023 at 10:57:15AM +0200, Hans Hagen via ntg-context wrote:
> On 4/15/2023 3:23 AM, Carlos via ntg-context wrote:
>
> > thank you Taco, Hans, and Aditya, Mikael, et
> >
> > Hans, I was just curious about your git strategy and wanted to ask you
> > about something.
>
> I have no
On 4/15/2023 3:23 AM, Carlos via ntg-context wrote:
thank you Taco, Hans, and Aditya, Mikael, et
Hans, I was just curious about your git strategy and wanted to ask you about
something.
I have no strategy. I see it as just an offline repository and archive.
The luametatex repos sort of resem
On Sat, Apr 15, 2023 at 12:13:58AM +0200, Hans Hagen via ntg-context wrote:
> On 4/14/2023 3:50 PM, mf via ntg-context wrote:
> > Hello,
> >
> > the github repo at https://github.com/contextgarden/context-mirror
> > is not updated since March 20th.
> >
> > I don't know whether it's related to the
On 4/14/2023 3:50 PM, mf via ntg-context wrote:
Hello,
the github repo at https://github.com/contextgarden/context-mirror
is not updated since March 20th.
I don't know whether it's related to the server update, but maybe you know.
I fetch from the origin,
https://bitbucket.org/phg/context-
Hello,
the github repo at https://github.com/contextgarden/context-mirror
is not updated since March 20th.
I don't know whether it's related to the server update, but maybe you know.
BTW thank you Taco, Jules and Robbert for your work.
Massi
Il 11/04/23 22:42, Taco Hoekwater via ntg-context h
Thank you Taco, Jules and Robbert! — All this work for our so precious group of
users! Thanks!
Willi
> On 11 Apr 2023, at 22:42, Taco Hoekwater via ntg-context
> wrote:
>
> Hi,
>
> So … the server now runs Ubuntu 22.04. Jay!
>
> This was a much harder upgrade though. Various things were wro
KUDOS to you guys and thanks a *lot*!
W
Am 11.04.23 um 22:42 schrieb Taco Hoekwater via ntg-context:
Hi,
So … the server now runs Ubuntu 22.04. Jay!
This was a much harder upgrade though.
...
In any case, today was the last of the big software update procedures
Best wishes,
Taco and Jules and
On 4/11/2023 10:42 PM, Taco Hoekwater via ntg-context wrote:
In any case, today was the last of the big software update procedures (at least
for the next year or so).
Thanks for doing this!
Hans
-
Hi,
So … the server now runs Ubuntu 22.04. Jay!
This was a much harder upgrade though. Various things were wrong, and are
likely still a bit wrong in places. Robbert had to rescue the network
configuration that went missing completely after the upgrade (requiring a trip
to the data center). Va
Hi again, from the other side!
Jules has just finished with all the updating and restarting for now, and at
first glance everything seems to be OK.
The server now runs Ubuntu 20.04. Jay!
If you notice anything wrong, please warn either me personally or
ntg-ser...@ntg.nl.
Unless major proble
11 matches
Mail list logo