{"ref":"refs/heads/aosp","push_id":55388497,"commits":[{"sha":"ffc8c533cc9198306db60a7ef80f1eed15ef1814","author":{"email":"c3bbc7e4fe7bd81099d44b5696794ce3e438ca11@gmail.com","name":"Twisted Playground"},"url":"https://api.github.com/repos/Mecha-Playground/leanKernel-tbolt-ics/commits/ffc8c533cc9198306db60a7ef80f1eed15ef1814","message":"Improve Variable Declaration Scope"}],"head":"ffc8c533cc9198306db60a7ef80f1eed15ef1814","size":1}