Error on push to GHC git repo due to Trac?

[Herbert Valerio Riedel]

On 2013-08-06 at 05:27:47 +0200, Erik de Castro Lopo wrote:
> Got the error below.

[...]

> remote: trac.db.pool.TimeoutError: Unable to get database connection within 0 seconds. (TracError: The user erikd requires read _and_ write permissions to the database file /home/trac/ghc/db/trac.db and the directory it is located in.)

fyi, this should have been fixed yesterday; if it still occurs, please
let us know

cheers,
  hvr