My understanding is that Github doesn't have priorities ... right? So we should remove this block since it is non-relevant ...
(unless we want to create labels for priorities and attach them)