[Dune-devel] Server Problems -> gitlab is down

[Ed Scott Wilson Garcia]

I don't think anything would be lost. The local machine have a full copy of the repository on the last "pull". On redoing a "push" the local machine will again push the missing commits. I guess that is a great plus of git over subversion.


________________________________
From: Dune-devel <dune-devel-bounces at lists.dune-project.org> on behalf of René Heß <rene.hk-edv at gmx.de>
Sent: Wednesday, March 17, 2021 6:38 PM
To: dune-devel at lists.dune-project.org <dune-devel at lists.dune-project.org>
Subject: Re: [Dune-devel] Server Problems -> gitlab is down

Dear Dune Developers,

an update from our side: Unfortunately we lost the current dune-gitlab
during our server problem and we had to replay a backup. The backup is
from Tuesday March 16 around 14 pm and we lost all changes that were
made to gitlab after this time. We are very sorry for that and hope that
no one lost any critical data.

What does this mean:

- If you pushed something since then and still have the changes on your
  local machine make sure to push them again.

- There was some discussion (eg about concepts). Maybe we can try to
  reproduce the important parts of those.

Another note: We deactivated the container registry for now as we first
need to clean up some things on our server. This will hopefully be
finished tomorrow.

In case you observe any strange behavior feel free to contact me via an
issue, through an email or by calling my office number +49 6221
54-14511. I might be a bit slow with responding as I need to correct an
exam tomorrow but I will try to check my mails regularly.


Sorry again for the inconvencience and I hope nobody lost anything,
Best regards,
René




rene.hk-edv at gmx.de writes:

> Dear Dune Developers,
>
> we currently have some problems with our server and the gitlab is down.
> We are aware of the problem annd investigating it. I just wanted to let
> you know and will inform you if we have news.
>
>
> Best regards,
> René
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at lists.dune-project.org
> https://lists.dune-project.org/mailman/listinfo/dune-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20210318/48e7ba92/attachment.htm>