some files weren't pushed