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 /runtime/queries/ungrammar/highlights.scm | |
| 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
Diffstat (limited to 'runtime/queries/ungrammar/highlights.scm')
0 files changed, 0 insertions, 0 deletions