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