Hi pg-devel,
What's the policy regarding closing tickets on the tracker? If I come across an
outdated ticket, do I close it with an explanation message? Or do only
committers close tickets?
Clément.
signature.asc
Description: OpenPGP digital signature
Hi David list,
David: Have you had time to look at my attempt to migrate to git? My username
on github is cpitclaudel.
List: I had a quick look at options to migrate trac tickets to GitHub. There
seems to exist solutions, but nothing too robust. There hasn't been loads of
activity on trac in
