Skip to content

Transfer "priority: " and "severity: " labels across to Github Issues priorities #6257

Open
Open
Transfer "priority: " and "severity: " labels across to Github Issues priorities#6257
Labels
component: Open SourcingenhancementNew feature or requestos: Allplatform: Allpriority: P3product: Sailing Race Analyticsseverity: minor

Description

@axeluhl
axeluhl
opened on Jun 16, 2026

We should find a function mapping the (priority, severity) combination to a single Github Issues "Priority" value (Low, Medium, High, Urgent). Can this be adjusted after the migration, e.g., using our bot user?

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: Open SourcingenhancementNew feature or requestos: Allplatform: Allpriority: P3product: Sailing Race Analyticsseverity: minor

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions