Github PR name formatting.

Format Github PR Links same as Github does.

  • v0.1 16-10-2019 Imported from URL