On Fri, Sep 18, 2020 at 10:36:47AM -0400, Taylor Blau wrote: > - The cat pipe is unnecessary, and is also violating a rule that we > don't place 'git' on the right-hand side of a pipe (can you redirect > the file at the end instead?). What's wrong with git on the right-hand side of a pipe? On the left-hand side we lose its exit code, which is bad. But on the right hand side, we are only losing the exit code of "cat", which we don't care about. (Though I agree that "cat" is pointless here; we could just be redirecting from a file). -Peff
