The only way that I have found, to date, to get a change to apply to any page on github pages is to:
- push the change to the repo
- open github.com in the browser and navigate to the file
- press the pencil button
- edit the file. make a change, undo the change. Anything to enable the commit button. I find taking the extra line break out of the end of the file to work, since github always puts it back again.
- press commit.
The page is now updated.
Is there a better way that works that doesn’t have me opening a browser?