Yes we're using GitHub as a ticketing system. - View it on GitHub