I am logged in to GitHub and browsed a repository at a certain point in history (a few commits/pushes ago). I found a file in this old commit/push that I need to delete, but when I click on the file the delete button is disabled and displays "You must be on a branch to make or propose changes to this file" when I hover over it.
I have researched this message, but still don't understand 1) what it means and 2) how to delete this file.
How would you delete this file?