☰

Github PR name formatting.

Format Github PR Links same as Github does.

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