Rockbox.org home
release
dev builds
extras
themes manual
wiki
device status forums
mailing lists
IRC bugs
patches
dev guide



Rockbox mail archive

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

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

From: Solomon Peachy via rockbox <rockbox_at_cool.haxx.se>
Date: Wed, 27 May 2020 18:46:19 -0400

On Wed, May 27, 2020 at 10:45:50AM -0400, Solomon Peachy via rockbox wrote:
> Starting at approximately 21:00 CET (aka 3pm Eastern US) on the 27th,
> git.rockbox.org and gerrit.rockbox.org will be taken offline for
> migrating to a new host.

This is now complete. All git/gerrit services appear to be working,
with one caveat.

New stuff enabled:

 * https for gerrit.rockbox.org
 * cgit instead of gitweb
   (all gitweb urls should automagically redirect)

Added bonus:

 * GitHub authentication now works

Known regressions:

 * irc bot that handles the 'g#1234' query needs to be tweaked.

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



-------------------------------------------------------------------
Unsubscribe: http://cool.haxx.se/cgi-bin/mailman/listinfo/rockbox
FAQ: http://www.rockbox.org/twiki/bin/view/Main/GeneralFAQ
Etiquette: http://www.rockbox.org/mail/etiquette.html
Received on 2020-05-28

Page was last modified "Mon Nov 16 10:57:21 2020" The Rockbox Crew -- Privacy Policy