{"push_id":3911019751,"size":1,"distinct_size":1,"ref":"refs/heads/theme-add-left-margin","head":"16b30de2dfbb081eb5788e83abdc7cdfad4fb699","before":"691ae7259a848110fdb4dd06317176f89d0ad06a","commits":[{"sha":"16b30de2dfbb081eb5788e83abdc7cdfad4fb699","author":{"name":"josteph","email":"2e83e11dd1b0fbdc5ad05e0a02cf6de00179e6ed@fastmail.com"},"message":"theme: Add optional argument to REPLAY_THEME for the benefit of user-defined themes\n\nSee #4184","distinct":true,"url":"https://api.github.com/repos/jostephd/wesnoth/commits/16b30de2dfbb081eb5788e83abdc7cdfad4fb699"}]}
{"actor":{"display_login":"jostephd"}}