tree b81b4edbb2cb68eff60cfc69c26f4f93d830c4a5
parent d0063d6c10ccf6b7f7c9d53bf5ba740b843b5393
author Luca Milanesio <luca.milanesio@gmail.com> 1541366318 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1541366318 +0000

Fix PR reference URL and body

Use the human-readable GitHub PR URL
when creating the Gerrit Change and keep the
original PR body formatting.

Change-Id: Ib9ec6255b6a3f20af1495a703441705b07bfb1ee