We've been using Waffle.io which provides a nice Kanban style board and lets you tag and order the issues in Github. I'd be interested to hear what others are using?