Looking at my (first) two comments on the question, I figured it out.
- I changed the web page by using GitHub's "directly edit from GitHub's web pages" feature.
- That means that my local copy of the "master" branch does not have that change.
- So "
git checkout master MyWebPage.html
" just copies an unchanged file. - I switched to "master," used sync to get the new commit, switched back to "gh-pages," then "
git checkout master MyWebPage.html
" again. This time, it worked!
So I learned that copying among branches only does the local versions. Remote updates are not included.