Here's an article where he discusses testing Sourceforge on PostgreSQL. At the bottom he also mentions that he is going to be using PostgreSQL features such as foreign keys and transactions, so it sounds like they have already moved over.
http://www.phpbuilder.com/columns/tim20001112.php3?print_mode=1