Integrated: 660: Add blank line prior to PR body HTML comment
Erik Helin
ehelin at openjdk.java.net
Wed Sep 16 08:28:44 UTC 2020
On Wed, 16 Sep 2020 08:12:57 GMT, Erik Helin <ehelin at openjdk.org> wrote:
> Hi all,
>
> please review this patch that adds a newline (a blank line) prior to the bots `` message. This is needed to avoid bad
> interactions with GitHub's Markdown parser for some of the more esoteric Markdown features of GitHub Flavored Markdown.
> Testing:
> - [x] `make test` passes on Linux x64
> - [x] `make images` passes on Linux x64
>
> Thanks,
> Erik
This pull request has now been integrated.
Changeset: 660eb7fb
Author: Erik Helin <ehelin at openjdk.org>
URL: https://git.openjdk.java.net/skara/commit/660eb7fb
Stats: 2 lines in 2 files changed: 0 ins; 0 del; 2 mod
660: Add blank line prior to PR body HTML comment
Reviewed-by: rwestberg
-------------
PR: https://git.openjdk.java.net/skara/pull/824
More information about the skara-dev
mailing list