Labels

• effort: easy (hour)

  effort: easy (hour)

• effort: hard (week)

  effort: hard (week)

• effort: medium (day)

  effort: medium (day)

• pr-action: cleanup

  pr-action: cleanup

• pr-action: discuss

  pr-action: discuss

• pr-action: merge

  pr-action: merge

• pr-action: review

  pr-action: review

• state: blocked

  state: blocked

• state: follow up

  state: follow up

• state: needs design

  state: needs design

• type: bug

  type: bug

• type: documentation

  type: documentation

• type: feature

  type: feature

• type: refactor

  type: refactor