Skip to content

Commit 7e40343

Browse files
mcourteauxhalide-ci[bot]alexreinking
authored
Delete newline that causes formatting issue on Github. (#9054)
* Disable mdformat on .github/pull_request_template.md mdformat-gfm doesn't understand GitHub's checklists. Opened hukkin/mdformat-gfm#58 --------- Co-authored-by: halide-ci[bot] <266445882+halide-ci[bot]@users.noreply.github.com> Co-authored-by: Alex Reinking <areinking@adobe.com>
1 parent 79ae701 commit 7e40343

2 files changed

Lines changed: 2 additions & 1 deletion

File tree

.github/pull_request_template.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,5 +21,5 @@ least be tagged with the `release_notes` label.
2121
- [ ] Documentation updated (if public API changed)
2222
- [ ] Python bindings updated (if public API changed)
2323
- [ ] Benchmarks are included here if the change is intended to affect
24-
performance.
24+
performance.
2525
- [ ] Commits include AI attribution where applicable (see Code of Conduct)

.pre-commit-config.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,7 @@ repos:
8585
- mdformat-gfm
8686
- mdformat-ruff
8787
- mdformat-shfmt
88+
exclude: ^.github/pull_request_template\.md$ # mdformat-gfm doesn't understand GitHub's checklists.
8889

8990
- repo: https://github.com/astral-sh/ruff-pre-commit
9091
rev: v0.15.5

0 commit comments

Comments
 (0)