Repository navigation

feat: labeling - take the issue type label from GitHub's issue type (#3545) - #3559

Closed

eleshar wants to merge 8 commits into

fix/label-reconciliation-3545from

feat/issue-type-labels-3545

Closed

feat: labeling - take the issue type label from GitHub's issue type (#3545)#3559
eleshar wants to merge 8 commits into
fix/label-reconciliation-3545from
feat/issue-type-labels-3545

Commits on Sep 24, 2026
- feat(labeling): take the issue type label from GitHub's issue type (#3545)
  eleshar
  committed
  2695787
- fix(labeling): re-derive the type label when an issue loses its type (#3545)
  eleshar
  committed
  1f29887
Commits on Sep 25, 2026
- fix(labeling): re-derive the type label when an issue loses its type (#3545)
  eleshar
  committed
  38c34a3
- fix(labeling): align untyped recovery with parent
  eleshar
  committed
  fe99676
- merge: preserve issue type label history
  eleshar
  committed
  724e86b
- merge: update stacked parent
  eleshar
  committed
  e0b0966
- merge: update issue-type parent
  eleshar
  committed
  19d3e47
- merge: update issue-type parent after #3459
  eleshar
  committed
  a900e75