@misc{indiciaee8a1d104a774,
  title = {Prioritising GitHub Priority Labels},
  author = {James Caddy and Christoph Treude},
  year = {2024},
  doi = {10.1145/3663533.3664041},
  url = {https://arxiv.org/abs/2405.10891},
  note = {Source identifier: 2405.10891}
}