repo downtime on Thursday 26th January 2023

Hi all:

We are replacing the machine hosting the repository this 2023-01-26T17:00:00Z. The expected downtime is around 20 to 30 minutes. In the case that we found some difficulties,this thread will be updated with the new information.

The end of process should bring a new machine with the same repository and the same key so no action should be required.


The repository should be working again as it was before. If you notice any problem please report it here or in the release-tools repository: Issues · gazebo-tooling/release-tools · GitHub