{"push_id":751744795,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"32282b1278cbad59d7c755df705425e2b486a848","before":"a5e04180dbeb1065beae0871455e905e57ef9d66","commits":[{"sha":"32282b1278cbad59d7c755df705425e2b486a848","author":{"email":"26f2e87da542ec7413c65de46a3f47210bfaa4a6@cs.ucla.edu","name":"Paul Eggert"},"message":"North Korea changes to +0830 effective August 15\n\n(Thanks to Steffen Thorsen.)  Instead of inventing an abbreviation\nfor this time zone, institute a policy of recording time zone\nabbreviations rather than inventing them.\n* NEWS, Theory: Document this.\n* asia (Asia/Pyongyang): Switch to +0830 effective August 15.\nUse \"+0830\" as the abbreviation.","distinct":true,"url":"https://api.github.com/repos/eggert/tz/commits/32282b1278cbad59d7c755df705425e2b486a848"}]}