File edited locally then pushed to remote repository