{"shas":[["efd503f84a2e7cec02e7c72439d09c1d587f36c3","4e1a4644ad0320b657a903ae8977a46dffef8835@gmail.com","Reloading globals after every REPL command (actually fixes #1654)","Trevor Burnham"]],"ref":"refs/heads/master","size":1,"head":"efd503f84a2e7cec02e7c72439d09c1d587f36c3","push_id":41619717}