☰

Github ID prefix in title

change "title" to "25: title", where 25 is the id of the PR/issue

  • v0.1 09 November 2020