{"push_id":830066690,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5584339863bf873ea38f81a8e68a11a5dda689ff","before":"7dbc7ed43ec3783a2c03f07d8828c8aa412ce117","commits":[{"sha":"5584339863bf873ea38f81a8e68a11a5dda689ff","author":{"email":"361483e2210ebab03c24bcdfaeee66ce5da027f3@stud.tu-darmstadt.de","name":"Daniel Lehmann"},"message":"small refactoring (no more code duplication for Module<>Strategy import resolution) of ResolveImports","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/5584339863bf873ea38f81a8e68a11a5dda689ff"}]}