Trac plugin for github integration