Hello,
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?
1 Like
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:
3 Likes
Okay that was it ! Thanks