Code

Promote Github PR ID to int64#2446

Code

Merged

dmjb merged 4 commits intomainmindersec/minder:mainfrom pr-id-downcastmindersec/minder:pr-id-downcastCopy head branch name to clipboardFeb 28, 2024

+25-20

Commits

Commits on Feb 27, 2024

• promote PR ID and line number to int64

  Show description for fa7692e
  dmjb

  committed
  fa7692e

  Copy full SHA for fa7692e

• this TODO is now done

  dmjb

  committed
  2fcc4c9

  Copy full SHA for 2fcc4c9

• do not promote line number to 64-bit

  Show description for 30dc9df
  dmjb

  committed
  30dc9df

  Copy full SHA for 30dc9df

Commits on Feb 28, 2024

• Merge branch 'main' into pr-id-downcast

  dmjb

  authored
  9005d6d

  Copy full SHA for 9005d6d