{"push_id":1164935611,"size":2,"distinct_size":2,"ref":"refs/heads/bug-44601","head":"b43aded4dab7e3564c70ce0da19a8358239ec728","before":"d880dcb70dc2f86bd12a1f4acd1b08d5b14dcfa3","commits":[{"sha":"8f039b160ec6fc488dd44aeb23ca07fc0ea61f51","author":{"name":"Mehul Sanghvi","email":"bfb6c74102bf4c79a35913430d8e889347cf840f@gmail.com"},"message":"    Do not run check_libgc everytime we run install.sh.  We do not\n    need to check for libgc when running do_local_install or make_doc.\n\n    Generally when running './install.sh -local_install' you are going\n    to do so as sudo.  If we check_libgc everytime we run ./install.sh\n    we will pollute the ./target directory with files that are owned by\n    root which than will be create errors when running something like\n    ./install.sh -bootstrap.  Lets avoid any such situations, and run\n    check_libgc only when it is needed.","distinct":true,"url":"https://api.github.com/repos/mnsanghvi/liberty-eiffel/commits/8f039b160ec6fc488dd44aeb23ca07fc0ea61f51"},{"sha":"b43aded4dab7e3564c70ce0da19a8358239ec728","author":{"name":"Mehul Sanghvi","email":"bfb6c74102bf4c79a35913430d8e889347cf840f@gmail.com"},"message":"     This is based on a suggestion from Raphael Mack on the mailing list.\n\n     We want to try and make the boostrap system-independent so we are\n     not using the .make file in the germ, but rather compiling using\n     the settings from work/tools.sh.\n\n     This is a first attempt at this.  The assumption is that the order of\n     the files does not matter.  If it does, we can find some other way to\n     do this.","distinct":true,"url":"https://api.github.com/repos/mnsanghvi/liberty-eiffel/commits/b43aded4dab7e3564c70ce0da19a8358239ec728"}]}
{"actor":{"display_login":"mnsanghvi"}}