A priority queue for github issues