{"push_id":630186956,"size":1,"distinct_size":1,"ref":"refs/heads/session-context","head":"97f9084ea5d11732c9ad3c7df72f6df3e7f61d32","before":"511eca4cca255ebdb67d52dedcf8b9e971c9e31f","commits":[{"sha":"97f9084ea5d11732c9ad3c7df72f6df3e7f61d32","author":{"email":"e667de2badc14ac3538ea877c7c4870a0762d3be@stud.tu-darmstadt.de","name":"Matthias Jahn"},"message":"individual logging sessions \nnew RMI interface for session starting\nSessionManager class added","distinct":true,"url":"https://api.github.com/repos/m1c3/eclipse-plugin/commits/97f9084ea5d11732c9ad3c7df72f6df3e7f61d32"}]}