this post was submitted on 24 Sep 2023
1 points (55.6% liked)

Linux

48145 readers
614 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
nooter692@lemmy.ml
AgreeableLandscape@lemmy.ml
MarcellusDrum@lemmy.ml
cypherpunks@lemmy.ml
cyclohexane@lemmy.ml
d3Xt3r@lemmy.nz
1
clone repo and update it occassionally without username and password (lemmy.world)
submitted 1 year ago by jindam_vani@lemmy.world to c/linux@lemmy.ml
10 comments fedilink hide all child comments
 
  • clone repo [ size_ 34 mb ]
  • added $ git remote add citer url
  • but when $ git checkout master && git fetch citer && git pull --rebase citer master && git push origin master
  • the above command requires github username and password
  • i dont want to create account on github
  • i will not create pull requests
  • is there any way to keep clone uptodate with remote without requiring github username & password
you are viewing a single comment's thread
view the rest of the comments
[–] space@lemmy.dbzer0.com 11 points 1 year ago (2 children)

You can't push to github without an account. That's how github can validate that you have the rights to push. If that is a problem, host your own gitea instance.

Once you have an account, the way to do it is using ssh keys. Use ssh-keygen (or putty keygen) to generate a key pair, add the public key to your account, and the set up ~/.ssh/config.

[–] Chais@sh.itjust.works 2 points 1 year ago* (last edited 1 year ago) (1 children)

If I understand OP's explanation correctly, they're simply trying to make a, possibly selfhosted, copy of a GitHub repo.
In that case the misunderstanding would be in the role of the git command; it being simply a frontend to any git repo, not a client to GitHub.

The correct commands to achieve that would be

$ git init .
$ git remote add origin url
$ git remote add github url
$ git fetch github
$ git merge github/master 
$ git push -u origin master

There may be errors in the above code. I'm writing this from memory on my phone.

[–] jindam_vani@lemmy.world 1 points 1 year ago

@Chais@sh.itjust.works

If I understand OP’s explanation correctly, they’re simply trying to make a, possibly selfhosted, copy of a GitHub repo.

  • yes, you are correct in sense.
  • all i am trying to do is keep a copy of upstream repo. similar to mirroring repo.
  • i have to remove git push origin master
  • i will again check after few days whether the command is correct