{"push_id":2419092126,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"56506a8f0e828380ad62fbaa4f0631dd4c37f23a","before":"a2ca7c57fbb1a7ef06c60a5be3a435aba51bdb95","commits":[{"sha":"56506a8f0e828380ad62fbaa4f0631dd4c37f23a","author":{"name":"Pavel Feldman","email":"235e260c3387232f567a0c5b9f55a964b6ec3b26@chromium.org"},"message":"DevTools: remove tab slider from dark theme.\n\nChange-Id: I2cb264f23cede7773334247d5c3ec142a2516943\nReviewed-on: https://chromium-review.googlesource.com/969963\nReviewed-by: Joel Einbinder <einbinder@chromium.org>\nCommit-Queue: Pavel Feldman <pfeldman@chromium.org>\nCr-Original-Commit-Position: refs/heads/master@{#544530}\nCr-Mirrored-From: https://chromium.googlesource.com/chromium/src\nCr-Mirrored-Commit: 75b87436ba05c79e4e199acbead7d735d5401848","distinct":true,"url":"https://api.github.com/repos/ChromeDevTools/devtools-frontend/commits/56506a8f0e828380ad62fbaa4f0631dd4c37f23a"}]}
{"actor":{"display_login":"devtools-bot"}}