Quick script to export trac issues into github