{"push_id":823708758,"size":1,"distinct_size":1,"ref":"refs/heads/DifferentiateInputData","head":"86526538215c82ad070a8e8bfab1fa52090ebf5d","before":"7d34f91f9b6224ead349ebbd38dc6e15e6bbf571","commits":[{"sha":"86526538215c82ad070a8e8bfab1fa52090ebf5d","author":{"email":"fbf1c37010276e34fe6fee426de8284fca52f2e8@fh-bielefeld.de","name":"Lennart Ochel"},"message":"Simplified record DIFFINPUTDATA\n\nRemoved option type to avoid redundant values (NONE() and SOME({}))","distinct":true,"url":"https://api.github.com/repos/lochel/OMCompiler/commits/86526538215c82ad070a8e8bfab1fa52090ebf5d"}]}