{"head":"9b99c8e35dc54e031513f922629134199eec2a52","size":1,"push_id":46109966,"ref":"refs/heads/timn/cedar","commits":[{"sha":"9b99c8e35dc54e031513f922629134199eec2a52","author":{"name":"Tim Niemueller","email":"af8c6a1c3818001b9a433062fb1d5f4ed142547d@kbsg.rwth-aachen.de"},"url":"https://api.github.com/repos/timn/ros-skillgui/commits/9b99c8e35dc54e031513f922629134199eec2a52","message":"SkillGUI: add mutex for CEDAR state message\n\nReceiving and using of CEDAR state message might happen in two separate\nthreads and thus require locking."}],"legacy":{"head":"9b99c8e35dc54e031513f922629134199eec2a52","size":1,"push_id":46109966,"shas":[["9b99c8e35dc54e031513f922629134199eec2a52","niemueller@kbsg.rwth-aachen.de","SkillGUI: add mutex for CEDAR state message\n\nReceiving and using of CEDAR state message might happen in two separate\nthreads and thus require locking.","Tim Niemueller"]],"ref":"refs/heads/timn/cedar"}}