Code

brilirs: error on duplicate labels#331

Code

Merged

sampsyo merged 3 commits intosampsyo:mainsampsyo/bril:mainfrom Pat-Lafon:mainPat-Lafon/bril:mainCopy head branch name to clipboardJul 27, 2024

+10-26

Commits

Commits on Jul 26, 2024

• minor cleanup

  Pat-Lafon

  committed
  6cf4d48

  Copy full SHA for 6cf4d48

• Add the new label, not the old one for simplicity

  Pat-Lafon

  committed
  3368738

  Copy full SHA for 3368738

• Check and error on duplicate labels

  Pat-Lafon

  committed
  1158ba5

  Copy full SHA for 1158ba5