{"head":"5a175204b00d420c26c10efcfba9953da3d91c87","size":1,"push_id":45060659,"shas":[["5a175204b00d420c26c10efcfba9953da3d91c87","7b45cc4c64b0ba1dc8f4c9f331a068a783ef2cbc@diku.dk","Data-opdatering","DIKUrevyens bot"]],"ref":"refs/heads/master"}