{"head":"5b70ff5694bfa18ad745987d9aee7c32a131eeb3","size":2,"push_id":45217784,"shas":[["820eea56fb5a2cde0784eadedf6bf5710061a534","d659c10e27d52b00987b65e85d99bce5480adcae@kr.ethz.ch","install finish\n\nSigned-off-by: Nico Schottelius <nico@kr.ethz.ch>","Nico Schottelius"],["5b70ff5694bfa18ad745987d9aee7c32a131eeb3","d659c10e27d52b00987b65e85d99bce5480adcae@kr.ethz.ch","whiteboard to file\n\nSigned-off-by: Nico Schottelius <nico@kr.ethz.ch>","Nico Schottelius"]],"ref":"refs/heads/install"}