{"ref":"coverity_scan","ref_type":"branch","master_branch":"master","description":"Yakindu Statechart Tools (http://www.statecharts.org)","pusher_type":"user"}
{"actor":{"display_login":"andreasmuelder"}}