Months ago, I forked a repository, made changes and submitted a pull request, which was eventually accepted into master. The code of my fork has been untouched on my hard drive since. Now, I'd like to contribute again to the same repository. The code from my fork is out of sync with master, because it has changes that were never pulled into master, and because master has moved on. Should I delete my fork and refork, or is there a better way?
I thought this might have been asked before. While searching, I found Pull new updates from original GitHub repository into forked GitHub repository, but the StackOverflower in that question wants to keep local changes, whereas I want to discard all local changes and take whatever is currently in master.