apparently git stores symlinks. I hope it also knows to remove files I deleted locally when I push this