{"head":"5e6021ebe50d1b736c2ff333d0d490c768bfe3d6","size":1,"push_id":44976599,"shas":[["5e6021ebe50d1b736c2ff333d0d490c768bfe3d6","3c477e10d07a823581028ef757cf3959d56bd371@ifi.uio.no","fikset","Roger Antonsen"]],"ref":"refs/heads/master"}