dev builds
themes manual
device status forums
mailing lists
IRC bugs
dev guide

Rockbox mail archive

Subject: Git * Gerrit services migrating to new host on May 27th

Git * Gerrit services migrating to new host on May 27th

From: Solomon Peachy via rockbox <>
Date: Wed, 27 May 2020 10:45:50 -0400

Starting at approximately 21:00 CET (aka 3pm Eastern US) on the 27th, and will be taken offline for
migrating to a new host.

That's approximately 4.5 hours from now. Not a lot of notice, but there
aren't a lot of folks hitting the service. Additionally, everyone
involved had an availability window and figured sooner was better than

All involved will be hanging out in #rockbox on freenode.

Actual downtime is expected to be under 30 minutes; in other words by
the time the DNS changes have been propogated it should be up and
running on the new site. All known services will be migrated.

Coming as part of this phase of the migration:

  * https enablement for
  * Update from gerrit 2.13.6 to 2.13.13
  * Switch web access from gitweb to cgit

Once the initial dust has settled:

 * Incrementally upgrade gerrit from the 2.13.x series to the still-supported
   2.16.x series (possibly all the way to 3.1.x!)
 * Attempt to fix long-broken github authentication
 * Re-instate commit emails

 - Solomon
Solomon Peachy			      pizza at shaftnet dot org (email&xmpp)
                                      _at_pizza:shaftnet dot org   (matrix)
High Springs, FL                      speachy (freenode)

Received on 2020-05-27

Page template was last modified "Tue Sep 7 00:00:02 2021" The Rockbox Crew -- Privacy Policy