Github ID prefix in title JS - change "title" to "25: title", where 25 is the id of the PR/issue Aŭtoro monguin Ĉiutagaj instaloj 0 Tutaj instaloj 3 Ratings 0 0 0 Kreita 2020/11/09 Ĝisdatigita 2020/11/09