Use markdown language for hub pull-request files (#5634)

The hub[^1] command-line tool uses a file called `PULLREQ_EDITMSG`[^2].
This file is used to edit the text from of each commit being submitted
in a pull request, and the final content is rendered as markdown by
GitHub.

This commit adds `PULLREQ_EDITMSG` to the list of markdown file-types.

[^1]: https://github.com/github/hub
[^2]: c8e68d548a/commands/pull_request.go (L225)
pull/5659/head
Eric Crosson 2 years ago committed by GitHub
parent 769fb5fe97
commit 17acadb305
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1019,7 +1019,7 @@ source = { git = "https://github.com/Flakebi/tree-sitter-tablegen", rev = "568dd
name = "markdown" name = "markdown"
scope = "source.md" scope = "source.md"
injection-regex = "md|markdown" injection-regex = "md|markdown"
file-types = ["md", "markdown"] file-types = ["md", "markdown", "PULLREQ_EDITMSG"]
roots = [".marksman.toml"] roots = [".marksman.toml"]
language-server = { command = "marksman", args=["server"] } language-server = { command = "marksman", args=["server"] }
indent = { tab-width = 2, unit = " " } indent = { tab-width = 2, unit = " " }

Loading…
Cancel
Save