CODEWITHSUNDEEP
githubjulia
user2820579
user2820579

Reputation: 3451

Unable to git push julialang

I'm trying to get the latest julia master commit. I instaled it via git clone, however, when I do

$ git push

It returns an exception:

 fatal: remote error: You can't push to git://github.com/JuliaLang/julia.git
 Use https://github.com/JuliaLang/julia.git

If I use the option given, git requires me a password.

Upvotes: 1

Views: 194

Answers (2)

mbauman
mbauman

Reputation: 31352

It sounds like you probably don't actually want to push to the JuliaLang repository, but rather pull from it.

You git pull to fetch upstream changes and integrate them into your local repository. So, for example, to update and rebuild Julia, you would git pull && make clean && make from within julia's directory while on the master branch.

You would only git push if you were a contributor submitting changes. But even among contributors who have commit access, very few actually push directly to the master branch. Most create branches, submit those, and then open a pull request for a review. And for that workflow, you don't even need to be a contributor. You can "fork" the project on Github, and then push to your forked repository online. From there, you can open a pull request for review.

Upvotes: 6

VonC
VonC

Reputation: 1325387

git:// doesn't allow for authentication.

ssh or https does.

In the case of https, it is asking for your GitHub username and password.

See more at "Git - the Protocols".

GitHub needs to know who you are, because only the owner (or a collaborator) has the right to push (while everybody can clone/pull from a public repo, which is why git:// works for cloning).
See "Permission levels for a user account repository".

Note: here github.com/JuliaLang is an organization, which means only the owner and members/teams can push to a repo declared in that organization.
Se more at "Permission levels for an organization repository".

Upvotes: 0

Related Questions