0a2599b2d44a015297358e446937d9edd15f6787	refs/heads/master
8fcd6391f24fe6ad01760e1cf650f137cd47cec9	refs/remotes/nimodpi.mikra01.github.com/lob_support
0a2599b2d44a015297358e446937d9edd15f6787	refs/remotes/nimodpi.mikra01.github.com/master
660112578f7ddde4850687c4c245c53ad7bd05e0	refs/remotes/nimodpi.mikra01.github.com/tutorial
49a33f76e555a07f630c3ba14c7b92dd4b1da772	refs/remotes/nimodpi.mikra01.github.com/use_futhark
0a2599b2d44a015297358e446937d9edd15f6787	refs/remotes/origin/master