Fix GitHub backend to consider trackers (repos, projects) when comparing tickets.

Closes #120