git ignore pushed.