Skip to content

chore/dev: add the pr commit writing skill from sourcegraph#1307

Merged
burmudar merged 2 commits into
mainfrom
wb/skills
May 4, 2026
Merged

chore/dev: add the pr commit writing skill from sourcegraph#1307
burmudar merged 2 commits into
mainfrom
wb/skills

Commits

Commits on May 4, 2026