diff options
author | Eric Crosson | 2023-01-23 14:51:42 +0000 |
---|---|---|
committer | GitHub | 2023-01-23 14:51:42 +0000 |
commit | 17acadb305bebfef094e4fcc9ba1e6fda6159c3b (patch) | |
tree | 985fdd769dbd6abfeb4b6fe8d08ffee1d3a56476 | |
parent | 769fb5fe97ac321ba030ac8fbf7e3793700f282c (diff) |
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]: https://github.com/github/hub/blob/c8e68d548a39ec0fab6f674a669c21b54d4eec61/commands/pull_request.go#L225
-rw-r--r-- | languages.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml index cdfd3a2d..d1ab92b6 100644 --- a/languages.toml +++ b/languages.toml @@ -1019,7 +1019,7 @@ source = { git = "https://github.com/Flakebi/tree-sitter-tablegen", rev = "568dd name = "markdown" scope = "source.md" injection-regex = "md|markdown" -file-types = ["md", "markdown"] +file-types = ["md", "markdown", "PULLREQ_EDITMSG"] roots = [".marksman.toml"] language-server = { command = "marksman", args=["server"] } indent = { tab-width = 2, unit = " " } |