Downtime for devel.rtems.org
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.
More information about the devel