The deletions are made through git, and windows git does not use the recycle bin, presumably because it's a linux-first tool