Github ID prefix in title

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

Fra 09.11.2020. Se den seneste versjonen.