Repository navigation

feat(integrations): Instrument PR issue resolution - #128758

Closed

giovanni-guidini wants to merge 3 commits into

gio/feat/instrument-commit-resolutionfrom

gio/feat/instrument-pr-resolution

Closed

feat(integrations): Instrument PR issue resolution#128758
giovanni-guidini wants to merge 3 commits into
gio/feat/instrument-commit-resolutionfrom
gio/feat/instrument-pr-resolution

Commits on Oct 26, 2026
- feat(integrations): Instrument commit issue resolution
  giovanni-guidini
  committed
  2320ad1
Commits on Oct 27, 2026
- fix(integrations): Record commit resolution inside lifecycle
  giovanni-guidini
  committed
  c089421
- feat(integrations): Instrument PR issue resolution
  giovanni-guidini
  committed
  e76dc25