☰

Github ID prefix in title

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