Error on push to GHC git repo due to Trac?

Herbert Valerio Riedel hvr at
Wed Aug 7 16:54:05 CEST 2013

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


More information about the ghc-devs mailing list