Downtime for devel.rtems.org

Chris Johns chrisj at rtems.org
Thu Feb 9 22:40:32 UTC 2023


On 10/2/2023 8:12 am, Amar Takhar wrote:
> At some point today 2022-02-09 https://devel.rtems.org/ will go down as the 
> machine that hosts our database goes through some upgrades.  Any issues or 
> intermittent outages should be gone by 6AM GMT 2022-02-10.

To users with accounts on dispatch.rtems.org your home directories will be
backed up and restored. If there are things like cron jobs etc I suggest you get
a copy of the config or a copy of your $HOME if you are concerned. Note, your
git and ftp directories are links so there is no need to back those up.

Chris


More information about the devel mailing list