Search results: push operation
github is a social network for programmers for software development projects using git revision management system. it also has a standard gui application for direct download
so far, both tom and jerry are using manual commands to compile their projects. now, jerry decided to create a makefile for the project and also put a name for the file string.c.
tom updates the local repository and finds the compiled binary in the src directory. after observing the commit message, he realizes that this code is added by jerry.