aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Crosson2023-01-23 14:51:42 +0000
committerGitHub2023-01-23 14:51:42 +0000
commit17acadb305bebfef094e4fcc9ba1e6fda6159c3b (patch)
tree985fdd769dbd6abfeb4b6fe8d08ffee1d3a56476
parent769fb5fe97ac321ba030ac8fbf7e3793700f282c (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.toml2
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 = " " }