PR to stdlib

I wanted to add “default” functionality to TemrinalMenus.jl (so one could specify a default pre-selected item/s to the menus).

  1. So I ]dev TerminalMenus
  2. changed stuff in .julia/dev/TerminalMenus
  3. added documentations and tests (and tested it)
  4. and wanted to change the remote to my fork so I could do a PR, but this is where I got stumped

What remote do I change this to? TemrinalMenu is a standard library, it doesn’t have a github-repository I can point at. I also failed to point to my fork of Julia:

$ git remote set-url origin git@github.com:yakir12/julia.git
$ git push
To github.com:yakir12/julia.git
 ! [rejected]        master -> master (fetch first)
error: failed to push some refs to 'git@github.com:yakir12/julia.git'
hint: Updates were rejected because the remote contains work that you do
hint: not have locally. This is usually caused by another repository pushing
hint: to the same ref. You may want to first integrate the remote changes
hint: (e.g., 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.

Not sure what I’m supposed to do.

Help.

Oh wait, does this mean that I need to work on julia master…? Just to contribute to a stdlib…? But then I’ll have to build julia locally?

Lord. Please be gentle.

Did you branch? There are many descriptions on this forum, eg

A PR to the Julia repo is conceptually not different from making a PR to a package.

Thank you Tamas.

I’m not qualified to do this, but it would have been good to have this all nicely curated in the docs (of Pkg perhaps). I’ll read up and try again.

OK, that was it. I did not. Thanks for knowing everything.

For anyone interested in the functionality itself, here’s the PR: