{"push_id":914657476,"size":1,"distinct_size":1,"ref":"refs/heads/dump-ground-operators","head":"ece367358cf7098084a11494d397273f4f22a1d0","before":"5d049718f881eab7d5b7527bb445141f1ef9bd02","commits":[{"sha":"ece367358cf7098084a11494d397273f4f22a1d0","author":{"email":"07b4681ba7ab686805f8e0403f4e3243529ded05@gmail.com","name":"Masataro Asai"},"message":"specify multiple plan files","distinct":true,"url":"https://api.github.com/repos/guicho271828/fast-downward-search/commits/ece367358cf7098084a11494d397273f4f22a1d0"}]}