{"push_id":1595785533,"size":1,"distinct_size":1,"ref":"refs/heads/lightweight","head":"d76c076adc7354bea4b118d839da6647834cd522","before":"481e03c47674a1161976f3434af8b3b031658d8c","commits":[{"sha":"d76c076adc7354bea4b118d839da6647834cd522","author":{"name":"Yuhui Lin","email":"49425fcb3c776720655fd732d2fb5fe23e09ae11@gmail.com"},"message":"isabelle light-weight version is working, also removed old examples which are no longer supported","distinct":true,"url":"https://api.github.com/repos/ggrov/tinker/commits/d76c076adc7354bea4b118d839da6647834cd522"}]}
{"actor":{"display_login":"lyhlbyl"}}