  Communities on GitHub often use issue labels as a way of triaging issues by
assigning them priority ratings based on how urgently they should be addressed.
The labels used are determined by the repository contributors and not
standardised by GitHub. This makes it difficult for priority-related reasoning
across repositories for both researchers and contributors. Previous work shows
interest in how issues are labelled and what the consequences for those labels
are. For instance, some previous work has used clustering models and natural
language processing to categorise labels without a particular emphasis on
priority. With this publication, we introduce a unique data set of 812 manually
categorised labels pertaining to priority; normalised and ranked as low-,
medium-, or high-priority. To provide an example of how this data set could be
used, we have created a tool for GitHub contributors that will create a list of
the highest priority issues from the repositories to which they contribute. We
have released the data set and the tool for anyone to use on Zenodo because we
hope that this will help the open source community address high-priority issues
more effectively and inspire other uses.
