Github issue tracker batch filing tool