{"push_id":754253835,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9e3d65570fc483e0237438d7241a49581a9d71b7","before":"9fa6cd5b48181300cfef7c0947b960d02ff77c5d","commits":[{"sha":"9e3d65570fc483e0237438d7241a49581a9d71b7","author":{"email":"7df37b74c6c94fec76661a39466d2dfbc6560b15@fz-juelich.de","name":"marvin"},"message":"Added a checkbox to bulk_rename.py to so the user can decide if the old name should be saved as alias name.","distinct":true,"url":"https://api.github.com/repos/juliabase/juliabase/commits/9e3d65570fc483e0237438d7241a49581a9d71b7"}]}