The julia package manager docs (your third question) is here: https://julialang.github.io/Pkg.jl/v1/managing-packages/
The ‘#’ symbol is used more to check out a specific branch. I think this can include other people’s PR (pull request) branches, but that’s different than you creating a PR branch (which your post above seems to be about)