Repository navigation

Fix display - Remove breaking pipes from PR names - #16

Merged

paultursuru merged 2 commits into

mainfrom

pl/minor/rm-pipes-from-pr-names

Apr 12, 2026

Merged

Fix display - Remove breaking pipes from PR names#16
paultursuru merged 2 commits into
mainfrom
pl/minor/rm-pipes-from-pr-names

Commits on Apr 12, 2026
- Remove breaking pipes from pr titles
  paultursuru
  committed
  e30416e
- Rubocop.
  paultursuru
  committed
  f2dc390