It looks like it supports bridging to GitHub and a number of other issue trackers, so while the project is using GitHub's issue tracker, I'd bet that the devs are using their own system to interface with it.