Overview git gc が便利という話です。 git push が重たい ここ１年くらい git コマンドがものすごく重たい事象に直面しており、特に git push したときに 10秒くらい待たないと push が完了しないという事象が発生してました。 github も頻繁にアプデ繰り返…