Why is this precisely a concern? As I said, you would work on your local clone, which you would keep up to date. But if you really insist, I believe you can
git checkout master
git pull origin master # assuming origin is the official julia repo
git push myremote master # myremote is your Github repo
The Web interface is really only suitable for minor edits. For anything more than that you will want to work on a local copy with your standard editor etc.
That’s a really inefficient way of doing it. A better alternative has been mentioned in A basic question about github - #4 by Tamas_Papp : pull followed by a push, but it requires a local clone.
I don’t understand the use case of needing to keep your fork current.
You are likely operating under some wrong assumptions. What do you want to do? E.g, why do you think having an up-to-date copy of the julia github repo is useful for you?
Remember, you are working with two repositories. One that is on your local computer, one that is on Github, (and third on JuliaLang/Julia).
It’s important to keep your local copy (the one on your computer synced) with the Julia master. This is done by following the instructions on Syncing a fork - GitHub Docs
Then, you can a) push your local copy, with all the changes you just pulled, to your github repository. Now that your local and remote are synced, you create a branch, work on a PR, then push your changes again to your github OR b) you realize that once you sync your local, there is no need to push the changes to your github right away. You can now create a branch, work on a PR, and THEN sync all of this to your GitHub repository, which will then allow you to submit your PR to Julia.
I occasionally make PR’s for corrections or clarifications to the documentation. This is relatively easy to do entirely on github without pulling the repo to my local drive. However, if a six-month interval passes between my documentation PR’s, then my branch on github is hopelessly out of date. So I do exactly as the OP suggested: delete my entire julia repository on github and start over.
I don´t have a black belt in git, so perhaps my advice is not very good. However, I found this tutorial on “GitHub Standard Fork & Pull Request Workflow” helpful. By the way, there are errors in the links in the contributing section at the julialang repo which this pr fixes, but it has been forgotten…
I don’t understand why you would try to avoid using CLI.
As others have said, if you have commits/unstaged changes, you won’t want to delete your local copy and clone again, instead, you should google up how git rebase work.