☰

Github PR name formatting.

Format Github PR Links same as Github does.

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