8000 chore: use better PR titles for cherry-pick-bot PRs by matifali · Pull Request #16165 · coder/coder · GitHub
[go: up one dir, main page]

Skip to content

chore: use better PR titles for cherry-pick-bot PRs#16165

Merged
matifali merged 1 commit intomainfrom
atif/better-pr-titles
Jan 16, 2025
Merged

chore: use better PR titles for cherry-pick-bot PRs#16165
matifali merged 1 commit intomainfrom
atif/better-pr-titles

Commits

Commits on Jan 16, 2025

0