{"push_id":701959162,"size":3,"distinct_size":3,"ref":"refs/heads/TextIO-stdinFix","head":"13206ee968d7272b8f8bf1efd6b304423f156134","before":"ba79c714fcdf82bbd90d6f95ebe5ec543059a0c6","commits":[{"sha":"2bc5b8252bee5147d7a0c79fb9ecd5bcc1a8ea3c","author":{"email":"8f489e765add66cea532ca1aff150e01610199e3@prolingua.co.uk","name":"David Matthews"},"message":"Use no-overwrite refs for imperative streams.\nThis means that the ref associated with stdIn in particular is\nnot saved across saveState/loadState calls.  Move the code for\nno-overwrite refs into LibrarySupport.","distinct":true,"url":"https://api.github.com/repos/polyml/polyml/commits/2bc5b8252bee5147d7a0c79fb9ecd5bcc1a8ea3c"},{"sha":"347bb0a27f4288120710658c877afbadc511bc4a","author":{"email":"8f489e765add66cea532ca1aff150e01610199e3@prolingua.co.uk","name":"David Matthews"},"message":"Use no-overwrite ref rather than PolyML.onLoad in BasicStreamIO.\nUse a no-overwrite ref for the list of output streams.  These\nare automatically flushed when Poly/ML exits but the list needs\nto be preserved across loadState calls.","distinct":true,"url":"https://api.github.com/repos/polyml/polyml/commits/347bb0a27f4288120710658c877afbadc511bc4a"},{"sha":"13206ee968d7272b8f8bf1efd6b304423f156134","author":{"email":"8f489e765add66cea532ca1aff150e01610199e3@prolingua.co.uk","name":"David Matthews"},"message":"Remove PolyML.onLoad.\nThis was previously used to save the state across loadState\ncalls but is no longer needed with no-overwrite refs.","distinct":true,"url":"https://api.github.com/repos/polyml/polyml/commits/13206ee968d7272b8f8bf1efd6b304423f156134"}]}