{"push_id":685246460,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"13a1c206a3507f382e39e7e54bec34aea6d46cc5","before":"fe8df39c7d226fa2e495f17a83c45833385cfafc","commits":[{"sha":"13a1c206a3507f382e39e7e54bec34aea6d46cc5","author":{"email":"261ec7bc01029d75f3df176083f56735e31b8587@chromium.org","name":"Adam Barth"},"message":"Rename mojodb to deprecated_shell_runner_only_needed_for_gdb\n\nApparently folks shouldn't be using this tool except if they need to run gdb.\nInstead, folks should use mojo_shell.py.\n\nR=ppi@chromium.org\n\nReview URL: https://codereview.chromium.org/1162113005","distinct":true,"url":"https://api.github.com/repos/domokit/mojo/commits/13a1c206a3507f382e39e7e54bec34aea6d46cc5"}]}