I\'m helping my coworkers transition from svn to git. One of their workflow was to simply force push a single file on top of the svn repo. Their working directory might have
