☰

Github PR name formatting.

Format Github PR Links same as Github does.

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