[07:11:23] <tgr>	 shouldn't there be a link to vagrant at https://www.mediawiki.org/wiki/Google_Code-in_2015#Instructions_for_GCI_students ?
[08:09:04] <andre__>	 tgr: uhm. Uhm. Thanks for realizing. Probably yeah, copied from https://www.mediawiki.org/wiki/How_to_become_a_MediaWiki_hacker#Get_started ("copied", as transclusion collids with <translate>)
[08:09:29] <andre__>	 tgr: want to add it? or I could try later once I've found breakfast :)