Remove file from another project that ended up in the wrong git tree :(