Testing github issues for a possible migration from trac