{"push_id":757339101,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"79c21d7b6a908f13f375dba34f9d94e71f42c242","before":"4addb6614b241491b7e7c82cb5e883896c3401b6","commits":[{"sha":"79c21d7b6a908f13f375dba34f9d94e71f42c242","author":{"email":"a6a209d34dfb8f0e8cc38253a876a9b3e245c48a@chalmers.se","name":"hallgren"},"message":"GF Shell: \"ph | wf -file=foo.gfs\" now works as advertised\nThe print_history command was among the commands implemented in an ad-hoc\nway instead of being handled by the command line interpreter, which means\nit could not be used in a pipe, as in the example in the help info.\nThe refactoring in the previous patch made this old bug easy to fix.\n\nAlso fixed a bug in the \"empty\" command, introduced when moving the PGF from\nCommandEnv to GFEnv.\n\nTODO: fix the undocumented eh command. A comment in the help info for\nprint_history, and some commented out old code, suggest that eh means\n\"execute_history\", but at present it does nothing...","distinct":true,"url":"https://api.github.com/repos/GrammaticalFramework/GF/commits/79c21d7b6a908f13f375dba34f9d94e71f42c242"}]}