trac requests are migrated to github bugtracker