I’d like to suggest a simple change to a Julia.Base file but I can’t manage to create a branch on github for a quick file edit then a PR. You know, by using the edit button at the top of the file.
Is it restricted to some trusted users or something ?
As far as I know it should do the edit in your own fork. You don’t happen to be logged out of github?
You should be able to do so. What’s the error you’re seeing? If you hover over the , do you see this message?
You just need to change the branch selector to master and then you can edit:
Okay that was it ! Thanks