[12:42:39] aah..yes [12:42:40] thanks! (re @lucaswerkmeister: I think you would need to add their fork as a git remote locally and then fetch from it)