GitHub find which PR deleted a file

This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.

Today at work I noticed a file had been deleted in our repository. I wasn't sure who deleted it or why it was deleted. I really wanted to figure out which GitHub PR removed the file so I could get some context! # An example To test this out, without revealing any of my work code, I created a new file named foo in this repo . Then I made a PR deleting that file and merged it into main. # Step 1:…

Read on jonkuperman.com ↗