fix(pr-template): adds an "Other" issue type #160

Merged
zach merged 1 commits from fix/ci-pr-template into main 2026-10-18 14:42:35 +02:00
Collaborator

What & why

Why?

I realized there was no Other option in the Type dropdown when creating a PR. Now it is included with a simple instruction.

Related issue

No response

Type

CI / build / tooling

Tested

  • Build succeeds
  • Existing tests pass
  • Manually verified

Breaking changes?

No response

Checklist

  • CI passes (format, lint, typecheck)
  • Clean commits
  • No new warnings
  • Docs updated if needed
### What & why ## Why? I realized there was no `Other` option in the Type dropdown when creating a PR. Now it is included with a simple instruction. ### Related issue _No response_ ### Type CI / build / tooling ### Tested - [ ] Build succeeds - [ ] Existing tests pass - [ ] Manually verified ### Breaking changes? _No response_ ### Checklist - [ ] CI passes (format, lint, typecheck) - [x] Clean commits - [x] No new warnings - [ ] Docs updated if needed
AramJonghu added 1 commit 2026-10-14 00:23:55 +02:00
fix(pr-template): adds an "Other" issue type
C++ / fmt (pull_request) Failing after 5s
C++ / build (pull_request) Failing after 10s
C++ / clang-tidy (pull_request) Failing after 10s
Rust / fmt (pull_request) Successful in 48s
Rust / build (pull_request) Successful in 1m9s
Rust / clippy (pull_request) Successful in 52s
Python / static (pull_request) Successful in 55s
JS/TS / fmt (pull_request) Successful in 11s
JS/TS / lint (pull_request) Successful in 9s
Python / verify (pull_request) Successful in 1m26s
ae25f33fc8
zach merged commit 2a45740020 into main 2026-10-18 14:42:35 +02:00
zach deleted branch fix/ci-pr-template 2026-10-18 14:42:36 +02:00
Sign in to join this conversation.